On Sun, Jun 30, 2013 at 11:20 AM, Ondřej Čertík <[email protected]> wrote: > On Sat, Jun 29, 2013 at 12:14 PM, Matthew Rocklin <[email protected]> wrote: >> Ondrej got planet.sympy.org up and running again. >> >> There are now a lot of great blogposts by our GSoC students. Take a look! >> >> Kudos to Ondrej. > > No problem. For reference, there were 3 issues why it didn't work: > > 1) The repository at our linode server > (https://github.com/sympy/planet.sympy.org) was checked out in its > gh-pages branch, so the update script (server_update) was not found on > the filesystem by cron. This was either caused by somebody who has > access to the server, or by a bug in the update script that left the > repository in this branch. Both is possible. > > 2) the planet.ini was in a wrong format, which I fixed by this patch: > > https://github.com/sympy/planet.sympy.org/commit/cfa8c2e265611c879826c099ed84d49b1cf80b48 > > 3) github doesn't update the webpage when new stuff is pushed into the > gh-pages branch. This I fixed by; > > https://github.com/sympy/planet.sympy.org/commit/67c7d7bc763cde01f1b46f3a78183ce92376589e > > which just forces github to update. > > > ----------- > > So you would hope that now things are fixed. But unfortunately they > aren't. It looks like github again didn't update the webpage based on > the latest commits in gh-pages... So just now I pushed in this commit: > > https://github.com/sympy/planet.sympy.org/commit/99318c954955cc248b0f79e8d7cc9ed3739671e6 > > Now github updated it. As such, the planet.sympy.org will not be > updated automatically until github fixes this bug. The solution for > now is to push in a change by hand.
Ok, I verified today again that indeed the gh-pages get updated correctly now, but github does not update the actual webpage, *unless* I push in as user "certik". I have just asked the github support and BCCed the sympy list here: https://groups.google.com/d/topic/sympy/FQANsmWnaPY/discussion you are welcome to help me make the case so that GitHub fixes it. Alternatively, we can host the webpages somewhere else. I just liked the github setup, that we can just push into a git repository and it gets automatically updated, but it has proven quite unreliable unfortunately... Ondrej -- 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.
