[sr-dev] For developers: update of your write access to git repository (now on github)