From b5a32ca22b31d3928f3599e2cccbea4872d3f720 Mon Sep 17 00:00:00 2001 From: Hans Dijkema Date: Tue, 11 Aug 2026 15:53:37 +0200 Subject: [PATCH] Makefile added. --- Makefile.rkt | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/Makefile.rkt b/Makefile.rkt index 1706dd7..7c6c8f9 100644 --- a/Makefile.rkt +++ b/Makefile.rkt @@ -16,9 +16,12 @@ (deps clean) (zip-package)) -(target windows - (displayln "does nothing yet")) - ;(git 'add '-A) - ;(git 'commit - ;(git 'switch " +(target main + (displayln "Committing pending changes") + (git 'add '-A) + (git 'commit (git-prompt)) + (displayln "Switching back to main branch") + ) + +