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 if [[ "$1" = "" ]]; then
   8    echo git fpush branch_name;
   9    exit 1;
  10 fi
  11
  12 git push origin :$1 && git push origin $1