[gnome-builder] git: watch HEAD.lock
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] git: watch HEAD.lock
- Date: Thu, 21 Mar 2019 05:30:42 +0000 (UTC)
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") ||
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]