ci: Ignore POT-Creation-Date changes only

This commit is contained in:
Marco Trevisan (Treviño) 2025-04-02 12:50:41 +02:00
parent cb0616412f
commit 6fc96ff72b

View file

@ -118,7 +118,7 @@ update_potfile_dev:
- git config --global user.name "${GITLAB_USER_NAME}"
- git remote set-url --push origin
"https://gitlab-ci-token:${FPRINTD_GITLAB_PUSH_TOKEN}@${CI_SERVER_HOST}/${CI_PROJECT_PATH}.git"
- if git diff --exit-code po/fprintd.pot; then echo exit 0; fi
- if git diff --exit-code --ignore-matching-lines=POT-Creation-Date po/fprintd.pot; then echo exit; fi
- git add po/fprintd.pot
- 'git commit -m "po/fprintd.pot: Update via pipeline $CI_PIPELINE_ID"'
- git push origin HEAD:refs/heads/${WEBLATE_TRANSLATIONS_SOURCE_BRANCH} -f