[gnome-builder] git: watch HEAD.lock

[Christian Hergert <chergert src gnome org>]

commit 5ea6fef93f2a50483cb6eaac9cd2f272a9879a68
Author: Christian Hergert <chergert redhat com>
Date:   Wed Mar 20 22:29:46 2019 -0700

    git: watch HEAD.lock
    
    When committing on a branch, we dont really have a reliable way to
    track things, but HEAD.lock is setup as part of the process. So use
    that to give us a better chance at a monitor event.

 src/plugins/git/gbp-git-index-monitor.c | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/plugins/git/gbp-git-index-monitor.c b/src/plugins/git/gbp-git-index-monitor.c
index 9397cac5e..6f7feaedc 100644
--- a/src/plugins/git/gbp-git-index-monitor.c
+++ b/src/plugins/git/gbp-git-index-monitor.c
@@ -135,6 +135,7 @@ gbp_git_index_monitor_changed_cb (GbpGitIndexMonitor *self,
 
   if (ide_str_equal0 (name, "index") ||
       ide_str_equal0 (name, "HEAD") ||
+      ide_str_equal0 (name, "HEAD.lock") ||
       ide_str_equal0 (name, "ORIG_HEAD") ||
       ide_str_equal0 (name, "FETCH_HEAD") ||
       ide_str_equal0 (name, "COMMIT_EDITMSG") ||