Hi Andrew, A big fat welcome from me as well. Savannah UI being what it is, I'm almost completely certain that I managed to make you a member of the ‘GNU Guix’ organisation there. You should be able to push to the Git repository. For my own future reference: did you get any automated mails about that from Savannah? Kind regards, T G-R