Bug Fixes

• Fixes a problem with the git integration, when checking out a branch it could happen that the branch was not available locally.