Add more pushInsteadOf

TimothyGu · Feb 24, 2020 · 4191176 · 4191176
1 parent 0001c73
commit 4191176
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.gitconfig b/.gitconfig
@@ -13,5 +13,9 @@
 [url "git@github.com:"]
 	pushInsteadOf = git://github.com/
 	pushInsteadOf = https://github.com/
+[url "git@gitlab.freedesktop.org:"]
+	pushInsteadOf = https://gitlab.freedesktop.org/
+[url "aur@aur.archlinux.org:"]
+	pushInsteadOf = https://aur.archlinux.org/
 [http]
 	# proxy = http://user:pass@localhost:10000