Github instant update

fuuuuu.de is kind of my project test-server. I let most of my github repositories out for a run here.
At some point it got on my nerves, that I always had to logon via ssh, go to the repository and
run git pull to get the updates from Github. So I scratched my own itch by writing
a small HTTP server in python that would update these repositories on the server automatically. I chose python
because it comes pre-installed on most linux machines