diff options
Diffstat (limited to '.mrconfig')
-rw-r--r-- | .mrconfig | 18 |
1 files changed, 18 insertions, 0 deletions
@@ -1,3 +1,21 @@ +[DEFAULT] + +lib = + git_assure_remote() { + remote="$1" + url="$2" + git remote | grep -q "^$remote$" || { + echo I: Adding remote $remote + git remote add "$remote" "$url" + git fetch "$remote" + } + git remote -v | grep "^$remote" | grep -q "$url" || { + echo I: Changing remote URL for $remote + git remote set-url $remote $url + git fetch "$remote" + } + } + # general repos [gitolite-admin] |