#!/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