Minor bug fixed in git_functions: the branch origin/HEAD should not be created 69/869/1
-rw-r--r-- 1049 README
drwxr-xr-x - installers
drwxr-xr-x - jenkins