Hi all,
I've set git.osmocom.org to read-only while I'm doing the migration to the new server. So don't be surprised if you won't be able to push there (or if gerrit is not able to push there).
I'll try to make this quick, should be back within the afternoon.