DO NOT KEEP Compute index diff on CI

.github/workflows/update-index.yml

@@ -3,6 +3,7 @@ on:
   push:
     branches:
       - master
+      - tweak-oracle-stuff
   schedule:
     - cron: "0 0 * * *"
   workflow_dispatch:
@@ -19,7 +20,12 @@ jobs:
       - run: ./scala-cli.sh .
         env:
           GH_TOKEN: ${{ secrets.INDEX_GITHUB_TOKEN }}
+
+      - name: Print diff
+        run: git diff --color
+
       - name: Create Pull Request
+        if: github.ref == 'refs/heads/master'
         id: cpr
         uses: peter-evans/[email protected]
         with:
@@ -28,6 +34,7 @@ jobs:
           delete-branch: true
           title: Update index
       - name: Generate Job Summary
+        if: github.ref == 'refs/heads/master'
         run: |-
           PR_NUMBER=$(echo "${{ steps.cpr.outputs.pull-request-number }}")
           PR_URL=$(echo "${{ steps.cpr.outputs.pull-request-url }}")