Merge branch 'main' into fix/revert_makefile_deploy

Author: jremy42

.github/workflows/deploy-package.yml

@@ -5,6 +5,10 @@ on:
   schedule:
     - cron: '0 12 * * MON'
 
+permissions:
+  contents: write
+  id-token: write
+
 jobs:
   deploy:
     runs-on: ubuntu-24.04
@@ -14,6 +18,7 @@ jobs:
         with:
           fetch-depth: '0'
           persist-credentials: false
+          token: ${{ secrets.GH_TOKEN }}
       - run: git fetch --depth=1 origin +refs/tags/*:refs/tags/*
       - name: Git Identity
         run: |