Merge branch 'ep2025' into redirection-mapping

Author: egeakman

.github/workflows/preview.yml

@@ -56,7 +56,7 @@ jobs:
         if: github.event_name == 'pull_request'
 
         with:
-          github-token: ${{ secrets.GITHUB_TOKEN }}
+          github-token: ${{ secrets.COMMENT_TOKEN }}
           script: |
             console.log("Hello world!");
             const pr_id = ${{ github.event.number }};