Use gerrit as osmo-ttcn3-hacks.git git remote (details)
Commit
a719a8db6176cfc28d29b9fc845996752261069d
by Pau Espin Pedrol
Use gerrit as osmo-ttcn3-hacks.git git remote
Other remotes are mirrors of gerrit one, which means there's some delay between pushing some ref to the gerrit remote and having them available in the mirrors. Hence, it becomes annoying while developing and new stuff to test is pushed. Let's simply use gerrit since it's the master remote.