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 -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
