ReceiveCommits: Log HEAD if tracing is enabled

This information would have been useful to investigate the bug that is
getting fixed by change [1].

[1] https://gerrit-review.googlesource.com/c/gerrit/+/206210

Change-Id: I33e9cd3a8c49b4fc2a811707dfc6aeb307acb007
Signed-off-by: Edwin Kempin <ekempin@google.com>
diff --git a/java/com/google/gerrit/server/git/receive/ReceiveCommits.java b/java/com/google/gerrit/server/git/receive/ReceiveCommits.java
index c747533..b23fe71 100644
--- a/java/com/google/gerrit/server/git/receive/ReceiveCommits.java
+++ b/java/com/google/gerrit/server/git/receive/ReceiveCommits.java
@@ -1863,7 +1863,9 @@
 
   private static String readHEAD(Repository repo) {
     try {
-      return repo.getFullBranch();
+      String head = repo.getFullBranch();
+      logger.atFine().log("HEAD = %s", head);
+      return head;
     } catch (IOException e) {
       logger.atSevere().withCause(e).log("Cannot read HEAD symref");
       return null;