Minor bug fixed in git_functions: the branch origin/HEAD should not be created