Problem with updating planet.sympy.org

[Ondřej Čertík]

Dear GitHub Support,

The gh-pages of the repository:

https://github.com/sympy/planet.sympy.org/commits/gh-pages

is updated automatically by our server, as a github user "planetsympy2".
The domain planet.sympy.org is pointed to 204.232.175.78 and as such
it is served by the https://github.com/sympy/planet.sympy.org repository.

Unfortunately, planet.sympy.org page only gets updated if I push in a
commit like this one:

https://github.com/sympy/planet.sympy.org/commit/d13ce2dcbc1d617ef75e670a0fc1ed775de66cbc

as a user "certik" (my own github user). It stopped updating when the
user "planetsympy2" pushes into it (automatically from our server).

Is there any way to get this fixed? Alternatively what other setup
should we use so that our server can keep updating the website hosted
by github?

Many thanks,

Ondrej Certik
The SymPy project

[Ondřej Čertík]

So github got back to me and suggested to verify the email address.

Github actually works correctly. If the build fails, it sends an email
to the email account associated with the planetsympy2 user. I totally
forget to check it. So I did and it said that the build failed and I
need to verify the email address. So I did. And now it seems to be
working!

Matthew, would you mind keeping an eye on the planet.sympy.org for a
while? I think it will be working now, but if not, please ping me.

Ondrej