Update GitHub Actions checkout action to use GITHUB_TOKEN only

Author: eliasjpr

.github/workflows/crystal.yml

@@ -165,7 +165,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           fetch-depth: 0
-          token: ${{ secrets.PAT_TOKEN || secrets.GITHUB_TOKEN }}
+          token: ${{ secrets.GITHUB_TOKEN }}
 
       - name: Compute Release Version
         id: semver