Git push and pull scripts for ensuring the right source/destination

gpushpull

## gpull
#!/bin/bash
branch=$(git name-rev --name-only HEAD)
if [ "$1x" == "x" ]; then
    echo "git pull origin $branch"
    git pull origin $branch
else 
    echo "git pull $1 origin $branch"
    git pull $1 origin $branch
fi

## gpush
#!/bin/bash
branch=$(git name-rev --name-only HEAD)
echo "git push origin $branch"
git push origin $branch