jenkins: Add config to push over ssh on gitlab.s.o

f85a30bb · Antoine R. Dumont · a94993e8 · f85a30bb
Verified Commit f85a30bb authored 2 years ago by Antoine R. Dumont
--- a/site-modules/profile/templates/jenkins/gitconfig.erb
+++ b/site-modules/profile/templates/jenkins/gitconfig.erb
@@ -5,5 +5,5 @@
  name = Jenkins for Software Heritage
  email = jenkins@<%= @fqdn %>

-[url "git@forge.softwareheritage.org:"]
-	pushInsteadOf = https://forge.softwareheritage.org
+[url "git@gitlab.softwareheritage.org:"]
+	pushInsteadOf = https://gitlab.softwareheritage.org