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
|