diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 17cdffa7..6e3bf5c7 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -72,6 +72,7 @@ jobs:
         fi
     - name: Maybe push new Tagfile
       run: |
+        set -x
         git add Tagfile
         COMMITHASH=$(git rev-parse --short HEAD)
         if git status -bs Tagfile | grep Tagfile; then
diff --git a/Tagfile b/Tagfile
index 24dba6d9..e646f3dd 100644
--- a/Tagfile
+++ b/Tagfile
@@ -1 +1 @@
-0.48.19
+0.48.20