Commits on Sep 27, 2024

1. fix(ci): fix packaging check merge operation …

   github.sha does not always points to the last commit in the
   source branch of a PR, leading to errors like the following one while
   performing:
   
     $ git merge ${{ github.sha }}
     merge: d8432ed - not something we can merge
   
   Use github.event.pull_request.head.sha instead.
   
   See [1, 2] for more context:
   
   - [1] https://docs.github.com/en/actions/writing-workflows/choosing-when-your-workflow-runs/events-that-trigger-workflows#pull_request
   - [2] https://github.com/orgs/community/discussions/26325

   

   aciba90 committed Sep 27, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 0cc49d0
   • Browse repository at this point

   Copy the full SHA

   0cc49d0 View commit details

   Browse the repository at this point in the history