Happy man :-) (unless it was for job in some vague country :-(Yep, me travelling. ;)
Well, I can also learn how to update from svn ...The git repo is manually synced, that is, I occasionally run git svn rebase on my machine and then git push it to github and repo.or.cz. Since I'd been offline, this was missing. Synced again now. I guess I should set up a cronjob.
Philippe Carriere <firstname.lastname@example.org>