git-fpush

   1 #! /bin/sh
   2 #
   3 # Some servers (like Savannah) refuse to force-update branches. This script
   4 # can be used to workaround that.
   5 # The branch is first deleted and push back.
   6
   7 branch=$1
   8
   9 if [ "$1" = "" ]; then
  10    # Use current branch
  11    branch=`git branch | egrep '^\* ' | cut -f2 -d' '`
  12 fi
  13
  14 git push origin :$branch && git push origin $branch