Brian May schrieb am Saturday, den 19. July 2008: > Hello, > > How do I push changes to the repository? I tried, but get permission > denied. Did I do something wrong? As far as I can tell, I should have > access... Mhh seems like hg.d.o got some permissions wrong... Could you please try again? Alex