#!/bin/bash
gitotal () 
{ 
    gitaddcommit $@;
    git pull;
    if [ -n "$?" ]; then
        git push origin HEAD;
    fi
}
gitotal "$@"
