ci: stop updating .pot file, rely on Weblate doing it

Author: amezin

.github/actions/pull-request/action.yml

@@ -408,6 +408,10 @@ jobs:
         run: ninja -j1 potfiles
         working-directory: build
 
+      - name: Diff POTFILES
+        run: |
+          git diff --color --exit-code po/POTFILES.in
+
       - name: Update .pot file
         run: ninja -j1 pot
         working-directory: build
@@ -416,26 +420,14 @@ jobs:
         run: ninja -j1 msgmerge
         working-directory: build
 
-      - name: Diff
-        id: diff
-        # Note: git diff --name-only ignores --ignore-matching-lines arg
-        run: |
-          git diff --color '--ignore-matching-lines=^"POT-Creation-Date: ' 'po/*.po' 'po/*.pot' 'po/POTFILES.in' | tee "$RUNNER_TEMP/po.diff"
-          size="$(stat --printf=%s "$RUNNER_TEMP/po.diff")"
-          echo "size=$size" | tee -a "$GITHUB_OUTPUT"
-
-      - name: Create pull request
-        if: vars.APP_ID && fromJSON(steps.diff.outputs.size) && inputs.push
-        uses: ./.github/actions/pull-request
-        with:
-          app-id: ${{ vars.APP_ID }}
-          private-key: ${{ secrets.APP_KEY }}
-          title: 'translations: update translation files'
-          description: 'Update translation files. Before merging this, make sure there are no unmerged changes from Weblate.'
-          files: |
-            po/*.po
-            po/*.pot
-            po/POTFILES.in
+      - name: Diff translations
+        run: >-
+          git diff
+          --color
+          '--ignore-matching-lines=^"POT-Creation-Date: '
+          '--ignore-matching-lines=^"Report-Msgid-Bugs-To: '
+          'po/*.po'
+          'po/*.pot'
 
   test:
     needs:

.github/workflows/ci.yml

@@ -1,6 +1,6 @@
 # SPDX-FileCopyrightText: NONE
 # SPDX-License-Identifier: CC0-1.0
-# SPDX-FileComment: This file is generated by gen-potfiles.py, do not edit
+# Generated by gen-potfiles.py, run "ninja potfiles" to update
 data/com.github.amezin.ddterm.desktop.in.in
 ddterm/app/about.js
 ddterm/app/application.js

po/POTFILES.in

@@ -58,7 +58,7 @@ def gen(
     print('# SPDX-FileCopyrightText: NONE', file=output)
     print('# SPDX-License-Identifier: CC0-1.0', file=output)
     print(
-        f'# SPDX-FileComment: This file is generated by {os.path.basename(__file__)}, do not edit',
+        f'# Generated by {os.path.basename(__file__)}, run "ninja potfiles" to update',
         file=output
     )
     # REUSE-IgnoreEnd

po/gen-potfiles.py

@@ -2,14 +2,10 @@
 #
 # SPDX-License-Identifier: GPL-3.0-or-later
 
-# REUSE-IgnoreStart
-gettext_copyright = '\n'.join(
-  [
-    'ddterm contributors <https://github.com/ddterm/gnome-shell-extension-ddterm/>',
-    'SPDX-License-Identifier: GPL-3.0-or-later',
-  ],
-)
-# REUSE-IgnoreEnd
+gettext_copyright = fs.read(f'@gettext_domain@.pot.license').replace(
+  'SPDX-FileCopyrightText:',
+  '',
+).strip()
 
 gettext_args = [
   '--from-code=UTF-8',