making git pull and push slightly more efficient