Hi, I've set up a Github mirror of source.git now. The mirror is synced by a git update hook so it automatically updated with every push made. @Ted: I did some changes to .gitolite.rc to enable the repo specific hooks, hope I did it correctly. Regards, Jo