Merge branch 'main' into preserve-insertion-order

Author: esarili

.github/workflows/dev_pr.yml

@@ -2,7 +2,6 @@ name: dev_pr
 
 # Trigger whenever a PR is changed (title as well as new / changed commits)
 on:
-  merge_group:
   pull_request_target:
     types:
       - opened