> I have now synced permissions in Gitolite so that all current RMs and > RMaints have permission to push to the release tools repository > (gitmaster at git.koha-community.org:release-tools). Thanks. I'm cleaning code, and will push it as soon as it's done.