Fwd: [op25-dev] RFC: migrating git.osmocom.org to gitea?