There could be a local branch named origin/master...
Implement getName() to get the short name of a branch.

# Conflicts:
#	src/de/uni_passau/fim/gitwrapper/Reference.java

Revert "Let git merge conflict count reflect the number of conflicts, not just the number of conflicting files"

The git merge gives no guarantees about the exit code (contrary to git merge-file)

This reverts commit 98e77491.

Let git merge conflict count reflect the number of conflicts, not just the number of conflicting files

Add hasFile(Commit) Method

See merge request !4