George Joseph
12d2bd23d5
.github: Add PAT to PRSubmitActions/Add Reviewers
2024-03-06 09:25:42 -07:00
George Joseph
0f3f0f3529
.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:36:27 -07:00
George Joseph
be1e83a6ac
.github: PRSubmitActions: Fix adding reviewers to PR
2023-10-19 09:57:14 -06:00
George Joseph
0c1c6e9ada
.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:32:06 -06:00