[gnome-builder/wip/chergert/git-oop] git: watch HEAD.lock
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/chergert/git-oop] git: watch HEAD.lock
- Date: Thu, 21 Mar 2019 05:30:15 +0000 (UTC)
commit c0898dea6945c57db19ee2a1a989f5039b8f8b13
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]