perform a git pull instead of checkout HEAD