method for determining the HEAD commit

src/de/uni_passau/fim/seibt/gitwrapper/repo/Repository.java

@@ -126,6 +126,26 @@ public class Repository {
         return revList.map(toCommitList).orElse(Collections.emptyList());
     }
 
+    /**
+     * Returns the {@link Commit} currently pointed at by <code>HEAD</code>.
+     *
+     * @return the <code>HEAD</code> commit
+     */
+    public Optional<Commit> getCurrentHEAD() {
+        Optional<ExecRes> revParse = git.exec(dir, "rev-parse", "HEAD");
+        Function<ExecRes, Commit> toHEAD = res -> {
+
+            if (git.failed(res)) {
+                LOG.warning(() -> "Failed to obtain the current HEAD commit.");
+                return null;
+            }
+
+            return getCommitUnchecked(res.stdOut);
+        };
+
+        return revParse.map(toHEAD);
+    }
+
     /**
      * Returns a {@link Commit} for the given ID. The caller must ensure that the ID is a full SHA1 hash of a
      * commit that exists in this repository.