Update RELEASE.md

.github/workflows/auto-rebase-with-github-token.yaml

@@ -0,0 +1,71 @@
+name: Auto Rebase wuth Github Token
+
+on:
+  push:
+    branches:
+      - dev
+  workflow_dispatch:
+
+jobs:
+  rebase:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v2
+        with:
+          persist-credentials: false
+          token: ${{ secrets.GITHUB_TOKEN }}  # Usa il token predefinito di GitHub
+          fetch-depth: 0  # Fetch completo per avere tutta la cronologia
+
+      - name: Fetch open pull requests
+        run: |
+          gh auth setup-git
+          gh pr list --state open --json number,headRepositoryOwner,headRefName --jq '.[] | "\(.number) \(.headRepositoryOwner.login) \(.headRefName)"' > pr_details.txt
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}  # Usa il token predefinito di GitHub
+
+      - name: Rebase pull requests
+        run: |
+          while read pr_number pr_owner pr_branch; do
+            echo "Processing PR #$pr_number"
+
+            # Add the contributor's fork as a remote
+            git remote add contributor https://github.com/$pr_owner/$(gh repo view --json name -q '.name').git
+
+            # Fetch the contributor's branches
+            git fetch contributor
+
+            # Checkout the branch from the contributor's fork
+            git checkout -b contributor-branch contributor/$pr_branch
+
+            # Set the committer name and email to match the PR author
+            PR_AUTHOR_NAME=$(gh pr view $pr_number --json author --jq '.author.login')
+            PR_AUTHOR_EMAIL="${PR_AUTHOR_NAME}@users.noreply.github.com"
+
+            git config user.name "$PR_AUTHOR_NAME"
+            git config user.email "$PR_AUTHOR_EMAIL"
+
+            # Rebase the branch on top of the main branch
+            git fetch origin main
+            git rebase origin/main || {
+              echo "Conflict detected. Aborting rebase and continuing."
+              git rebase --abort
+              continue
+            }
+
+            # Push the rebased branch back to the contributor's fork
+            git push --force-with-lease contributor contributor-branch:$pr_branch
+
+            # Remove the remote
+            git remote remove contributor
+
+            # Restart the check suite for the pull request
+            PR_HEAD_SHA=$(gh pr view $pr_number --json headRefOid --jq '.headRefOid')
+            curl -X POST \
+              -H "Accept: application/vnd.github.v3+json" \
+              -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
+              https://api.github.com/repos/${{ github.repository }}/check-suites/$PR_HEAD_SHA/rerequest
+          done < pr_details.txt
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}  # Usa il token predefinito di GitHub

.github/workflows/auto-rebase.yaml

@@ -0,0 +1,82 @@
+name: Auto Rebase
+
+on:
+  push:
+    branches:
+      - main
+  workflow_dispatch:
+
+jobs:
+  rebase:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: tibdex/github-app-token@v1
+        id: generate-token
+        with:
+          app_id: ${{ secrets.APP_ID }}
+          private_key: ${{ secrets.APP_PRIVATE_KEY }}
+
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          token: ${{ steps.generate-token.outputs.token }}
+          fetch-depth: 0  # Fetch full history to have the entire commit history
+
+      - name: Fetch open pull requests with label
+        run: |
+          gh auth setup-git
+          gh pr list --state open --label "ready-to-be-merged" --json number,headRepositoryOwner,headRefName --jq '.[] | "\(.number) \(.headRepositoryOwner.login) \(.headRefName)"' > pr_details.txt
+        env:
+          GITHUB_TOKEN: ${{ steps.generate-token.outputs.token }}
+
+      - name: Rebase pull requests
+        run: |
+          while read pr_number pr_owner pr_branch; do
+            echo "Processing PR #$pr_number"
+
+            # Add the contributor's fork as a remote
+            git remote add contributor https://github.com/$pr_owner/$(gh repo view --json name -q '.name').git
+
+            # Fetch the contributor's branches
+            git fetch contributor
+
+            # Create a unique branch name for this PR
+            unique_branch_name="contributor-branch-$pr_number"
+
+            # Checkout the branch from the contributor's fork
+            git checkout -b $unique_branch_name contributor/$pr_branch
+
+            # Set the committer name and email to match the PR author
+            PR_AUTHOR_NAME=$(gh pr view $pr_number --json author --jq '.author.login')
+            PR_AUTHOR_EMAIL="${PR_AUTHOR_NAME}@users.noreply.github.com"
+
+            git config user.name "$PR_AUTHOR_NAME"
+            git config user.email "$PR_AUTHOR_EMAIL"
+
+            # Rebase the branch on top of the main branch
+            git fetch origin main
+            if ! git rebase origin/main; then
+              echo "Conflict detected. Aborting rebase and continuing."
+              git rebase --abort
+
+              # Post a comment on the PR to notify the author about the conflict
+              gh pr comment $pr_number --body "Hey @$PR_AUTHOR_NAME, your PR cannot be rebased due to conflicts. Could you resolve them, please?"
+
+              continue
+            fi
+
+            # Push the rebased branch back to the contributor's fork
+            git push --force-with-lease contributor $unique_branch_name:$pr_branch
+
+            # Remove the remote
+            git remote remove contributor
+
+            # Ensure we are not on the branch to be deleted
+            git checkout main
+
+            # Delete the local unique branch
+            git branch -D $unique_branch_name
+
+          done < pr_details.txt
+        env:
+          GITHUB_TOKEN: ${{ steps.generate-token.outputs.token }}

.github/workflows/autorebase.yaml

@@ -0,0 +1,33 @@
+name: Automatic Rebase
+on:
+  issue_comment:
+    types: [created]
+jobs:
+  rebase:
+    name: Rebase
+    runs-on: ubuntu-latest
+    if: >-
+      github.event.issue.pull_request != '' && 
+      (
+        contains(github.event.comment.body, '/rebase') || 
+        contains(github.event.comment.body, '/autosquash')
+      )
+    steps:
+      - name: Checkout the latest code
+        uses: actions/checkout@v3
+        with:
+          #persist-credentials: false
+          token: ${{ secrets.GITGAB_SRI_PERSONAL_TOKEN }}
+          fetch-depth: 0 # otherwise, you will fail to push refs to dest repo
+
+      - name: Configure git
+        run: |
+          git config --local user.name "github-actions[bot]"
+          git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
+
+      - name: Automatic Rebase
+        uses: cirrus-actions/[email protected]
+        with:
+          autosquash: ${{ contains(github.event.comment.body, '/autosquash') || contains(github.event.comment.body, '/rebase-autosquash') }}
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITGAB_SRI_PERSONAL_TOKEN }}

.github/workflows/fmt.yaml

@@ -7,6 +7,10 @@ on:
     branches:
       - main
       - dev
+  workflow_run:
+    workflows: ["Auto Rebase wuth Github Token"]  # Nome del workflow di rebase
+    types:
+      - completed
 
 name: Rustfmt