From e98eb20ad77cdd2a6617edc15436aa5935236567 Mon Sep 17 00:00:00 2001 From: Johannes Meyer Date: Mon, 4 May 2020 14:31:43 +0200 Subject: [PATCH] bin/update: Ignore location changes Prevents new pull requests opened only because some locations need updating. --- bin/update | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/update b/bin/update index 578b33f1..214a34ad 100755 --- a/bin/update +++ b/bin/update @@ -92,7 +92,7 @@ done # Check for changes (new messages) that need to be committed CHANGES=1 git diff -U0 \ - | grep -Pe '^[+-]{1}[^+-]+' \ + | grep -Pe '^[+-]{1}(?!#:)[^+-]+' \ | grep -qv -e '."Project-Id-Version:' -e '."POT-Creation-Date:' \ || CHANGES=0