Thread:Extension talk:GeoGebra/Moving to code repository/reply (2)

I already had a look at Git/New repositories. Today I chatted on IRC channel. Your link to IRC Help page was very helpful, but I read it after connecting to IRC. Now I know to use /quit for quitting ;-) (I hope it was not too impolite just to leave the IRC by exiting the browser.) ^demon told me to read his mail about moving to GIT on wikitech-l, so I subscribed to the list. But I cannot find any postings of ^demon. Maybe he uses another nickname on wikitech-l? I also posted my username and email address at IRC #mediawiki. This should be enough to send me access data. Please give me a hint what I should try next.