bin/update: Ignore location changes

Prevents new pull requests opened only because some locations need updating.
2020-05-04 14:31:43 +02:00 · 2020-05-04 14:31:43 +02:00 · e98eb20ad7
parent 57f5dc94ca
commit e98eb20ad7
1 changed files with 1 additions and 1 deletions
--- 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