Skip to content

mirror-repos.py: Add https://gitlab.wikimedia.org/ as a mirror source

Ahmon Dancy requested to merge review/dancy/mirror-from-gitlab into main

Change-Id: Ib29c3fe47555f5762e88920136eaa4485629cf36

Merge request reports