From 0e804bb18079ca05ee80507d0d18a26bbee2d520 Mon Sep 17 00:00:00 2001
From: Hans Dijkema <hans@dijkewijk.nl>
Date: Wed, 12 Aug 2026 15:57:40 +0200
Subject: [PATCH] porcelain added where needed

---
 main.rkt                 | 6 +++++-
 private/git-commands.rkt | 1 -
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/main.rkt b/main.rkt
index 4723e4b..efc9398 100644
--- a/main.rkt
+++ b/main.rkt
@@ -76,5 +76,9 @@
 (def-cmd git-commit cmd-git-commit 'commit
   (λ (args) (check-git-args 'commit args '((-m 1 "A commit message is mandatory"))))
   )
-(def-cmd git-push cmd-git-push 'push)
+(def-cmd git-push cmd-git-push 'push
+  (λ (args) (if (has-git-arg? args '--porcelain)
+                args
+                (cons '--porcelain args)))
+  )
 (def-cmd git-pull cmd-git-pull 'pull)
diff --git a/private/git-commands.rkt b/private/git-commands.rkt
index 65726d1..e79dd0e 100644
--- a/private/git-commands.rkt
+++ b/private/git-commands.rkt
@@ -50,7 +50,6 @@
 
 
 (define (std-process-git-result cmd result output out)
-  (displayln output)
   (git-displ out)
   (if result
       result