From 1da3f3788934c61e5b787114d966fe30cbed52e2 Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@janware.com>
Date: Sat, 4 Apr 2026 18:18:09 +0200
Subject: [PATCH] pgit.sh: Honour PGIT_IGNORE for pgit.sh commit

PGIT_INGORE is not honoured for pgit.sh commit, fix that.

Signed-off-by: Jan Lindemann <jan@janware.com>
---
 scripts/pgit.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/scripts/pgit.sh b/scripts/pgit.sh
index 9a178940..a990086b 100644
--- a/scripts/pgit.sh
+++ b/scripts/pgit.sh
@@ -144,6 +144,7 @@ cmd_exec()
 cmd_commit()
 (
 	local d do_cvs
+	local ignore="$PGIT_IGNORE"
 
 	if [ "$1" = --cvs ]; then
 		do_cvs=true
@@ -156,6 +157,10 @@ cmd_commit()
 	if [ "$PGIT_KEEP_GOING" != y ]; then set -e; fi
 	for d in $project_dirs; do
 		cur=`expr $cur + 1`
+		if echo $ignore | grep -q "\b$d\b"; then
+			marker "$d is in PGIT_IGNORE, not committing anything"
+			continue
+		fi
 		if run_git -C $d diff-index --quiet HEAD --; then
 			log "Nothing to commit"
 			continue