From: martin f. krafft <madduck@madduck.net>
Date: Mon, 8 Sep 2014 19:11:37 +0000 (+0200)
Subject: rename pm shared repo alias
X-Git-Url: https://git.madduck.net/etc/git.git/commitdiff_plain/debcaf62c768630daf373b5385f9be5dddb582b2?hp=dd60cc4cf43f235234174d39f0a10d6ba19f64d3

rename pm shared repo alias
---

diff --git a/.gitconfig b/.gitconfig
index d77298f..7f21439 100644
--- a/.gitconfig
+++ b/.gitconfig
@@ -48,7 +48,7 @@
 [url "ssh://git.madduck.net/madduck/pub/"]
 	pushInsteadOf = git://git.madduck.net/madduck/
 [url "ssh://git.gern.madduck.net/srv/git"]
-	insteadOf = git-at-home:
+	insteadOf = pm:
 [url "ssh://git.madduck.net/gitolite-admin"]
 	insteadOf = gitolite-admin:
 [push]