Merge from github

gitmerge.sh

gitmerge() {
    #Commands this needs
    CURL=`which -p curl`
    GREP=`which -p grep`
    AWK=`which -p awk`
    TR=`which -p tr`
    UNIQ=`which -p uniq`

    tmpfile=$(tempfile)
    if [ "$1" ]; then
      command $CURL -s https://github.com/sakaiproject/sakai/pull/$1.patch > $tmpfile
      patch -p1 < $tmpfile
      if [ "$?" = "0" ]; then
        tool=`$GREP "+++" $tmpfile | $AWK -F/ {'print \$2'}` | $UNIQ | $TR '\n' ','
        echo "Patch succeeded to $tool, you can commit!"
      else
        echo "There was some failure patching, please check the output above"
      fi
      rm $tmpfile
    else 
      echo "You need to specify as a parameter which pull request to merge. For example, gitmerge 122. This should be run at the top level directory."
    fi
}