diff --git a/.github/workflows/branch-man.yml b/.github/workflows/branch-man.yml index 46796cb4..c197f1d2 100644 --- a/.github/workflows/branch-man.yml +++ b/.github/workflows/branch-man.yml @@ -43,15 +43,15 @@ jobs: - name: Build man pages run: | make -C doc locale - git commit -a -m "Update doc locale" + git commit -a -m "Update doc translation catalogs" make -C doc man git commit -a -m "Update man pages" - name: Build application translations catalogs run: | + rm -f po/linkchecker.pot make -C po - # It's OK if no changes were made - git commit -a -m "Update application translation catalogs" || true + git commit -a -m "Update application translation catalogs" - name: Push changes run: > diff --git a/.github/workflows/publish-docker.yml b/.github/workflows/publish-docker.yml index 3c8a89a6..ba0ae389 100644 --- a/.github/workflows/publish-docker.yml +++ b/.github/workflows/publish-docker.yml @@ -6,6 +6,7 @@ on: push: branches: ['master'] tags: 'v*' + workflow_dispatch: env: REGISTRY: ghcr.io