Make git push optional

1 files changed, 7 insertions, 3 deletions

diff --git a/jt b/jt
index a74da54..60db3c3 100755
--- a/jt
+++ b/jt
@@ -69,6 +69,9 @@ class JournalTool(cliapp.Application):
             'indicate where the filename goes',
             default='sensible-editor %s')
 
+        self.settings.boolean(
+            ['push'],
+            'push finished articles with git?')
 
     def cmd_new(self, args):
         '''Create a new journal entry draft.'''
@@ -224,9 +227,10 @@ class JournalTool(cliapp.Application):
             cliapp.runcmd(
                 ['git', 'commit', '-m', 'Publish log entry'],
                 cwd=self.settings['source'])
-            cliapp.runcmd(
-                ['git', 'push', 'origin', 'HEAD'],
-                cwd=self.settings['source'])
+            if self.settings['push']:
+                cliapp.runcmd(
+                    ['git', 'push', 'origin', 'HEAD'],
+                    cwd=self.settings['source'])
 
     def cmd_new_person(self, args):
         '''Create a page to list all notes referring to a person.