mirror of https://gerrit.osmocom.org/osmo-ci
Oliver Smith
1259ab99c6
Make sure that the recent change from git.osmocom.org -> gerrit.osmocom.org for git clone urls is applied to the existing clones as well. Change-Id: I3d9c193bf353ecff0ee8bb4c507de59139fc0925 |
||
---|---|---|
.. | ||
obs-mirror | ||
jenkins.sh |