Maybe the questions below went under in the noise. So let's reiterate them:
Stephen R. van den Berg wrote:
Hmmm, I just glanced through http://pike.ida.liu.se/development/git/rw-git.xml Is it supposed to be automatic that when you "git commit" it will push it into the main repo? Do I still have access? If not, can I be reinstated?