I wanted to submit a few changes and fixes to the website repository, but don't have write permissions for the repository. Could you change that maybe? I don't really want to maintain a separate fork.
And somehow this mailing list does not allow replies by mail. How stupid is that?
We should use the team feature of Github Organization to manage our access easily.
Did you receive my email? If not, can you give me your address?