diff options
author | Thanos Apollo <[email protected]> | 2024-02-18 18:28:55 +0200 |
---|---|---|
committer | Thanos Apollo <[email protected]> | 2024-02-18 18:28:55 +0200 |
commit | f2d56ebcec73817f97561cbb7c2048c0d4952559 (patch) | |
tree | ef02e7210a1aa653b67494e2d0c711e285612ada /gnosis.el | |
parent | 6e89ce8852a5625214c4339dac991fd781083b9d (diff) |
Rename gnosis-auto-vc-push -> gnosis-vc-auto-push
Diffstat (limited to 'gnosis.el')
-rw-r--r-- | gnosis.el | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -64,7 +64,7 @@ between two strings to consider them as similar." :type 'integer :group 'gnosis) -(defcustom gnosis-auto-vc-push nil +(defcustom gnosis-vc-auto-push nil "Run `vc-push' at the end of every review session." :type 'boolean :group 'gnosis) @@ -1058,7 +1058,7 @@ NOTE-NUM: The number of notes reviewed in the session." (shell-command (format "%s %s %s" git "add" (shell-quote-argument "gnosis.db"))) (shell-command (format "%s %s %s" git "commit -m" (shell-quote-argument (format "Total notes for session: %d" note-num)))) - (when gnosis-auto-vc-push + (when gnosis-vc-auto-push (gnosis-vc-push)) (message "Review session finished. %d notes reviewed." note-num))) |