aboutsummaryrefslogtreecommitdiff
path: root/git-disable-push
blob: 2f9e05c107cecd56550e6316166c69aeb5af4bb5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#!/bin/bash
#
# Disable push to a given remote
# See http://stackoverflow.com/questions/10260311/git-how-to-disable-push?answertab=active#tab-top

# Parameters
BASENAME="`basename $0`"
REMOTE="$1"

# Check
if [ -z "$REMOTE" ]; then
  echo "usage: $BASENAME <remote>"
  exit 1
fi

# Run
git remote set-url --push $REMOTE no_push