From df9c164a18e1b416a65222d4dfb39581cb53d49a Mon Sep 17 00:00:00 2001
From: Tom Willemse
Date: Sat, 12 Apr 2014 18:35:09 +0200
Subject: Use the realpath of the git directory

---
 push-remotes | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/push-remotes b/push-remotes
index 6720312..ec63a3b 100755
--- a/push-remotes
+++ b/push-remotes
@@ -11,7 +11,7 @@
 
 function _git() { git --git-dir="$gitdir" "$@"; }
 
-gitdir="$1"
+gitdir=$(realpath "$1")
 remotes=$(_git remote)
 
 if [[ -n "$remotes" ]]; then
-- 
cgit v1.2.3-54-g00ecf