George Joseph
34196f8796
.github: Add PAT to PRSubmitActions/Add Reviewers
2024-03-06 09:21:33 -07:00
George Joseph
de806580f3
.github: Update github-script to v7 and fix a rest bug
...
Need to update the github-script to v7 to squash deprecation
warnings.
Also fixed the API name for github.rest.pulls.requestReviewers.
2024-02-05 08:31:47 -07:00
George Joseph
1fc68b1d30
.github: PRSubmitActions: Fix adding reviewers to PR
2023-10-19 09:54:43 -06:00
George Joseph
10204b9d31
.github: New PR Submit workflows
...
The workflows that get triggered when PRs are submitted or updated
have been replaced with ones that are more secure and have
a higher level of parallelism.
2023-10-17 12:33:17 -06:00