[gnome-builder] git: also watch for changes to HEAD

[Christian Hergert <chergert src gnome org>]

commit 3c4f63870df966f346656db19aa7e740e6af03f7
Author: Christian Hergert <chergert redhat com>
Date:   Mon Jan 1 01:10:42 2018 -0800

    git: also watch for changes to HEAD
    
    This should help catch some annoying failures to reload after
    committing files to the git repository.

 src/plugins/git/ide-git-vcs.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/plugins/git/ide-git-vcs.c b/src/plugins/git/ide-git-vcs.c
index 62c21d2..4dbe268 100644
--- a/src/plugins/git/ide-git-vcs.c
+++ b/src/plugins/git/ide-git-vcs.c
@@ -325,8 +325,8 @@ ide_git_vcs__monitor_changed_cb (IdeGitVcs         *self,
   if (other_file != NULL)
     other_name = g_file_get_basename (other_file);
 
-  if (dzl_str_equal0 (name, "index") ||
-      dzl_str_equal0 (other_name, "index"))
+  if (dzl_str_equal0 (name, "index") || dzl_str_equal0 (other_name, "index") ||
+      dzl_str_equal0 (name, "HEAD") || dzl_str_equal0 (other_name, "HEAD"))
     {
       dzl_clear_source (&self->changed_timeout);
       self->changed_timeout = g_timeout_add_seconds (DEFAULT_CHANGED_TIMEOUT_SECS,