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

..

ISSUE_TEMPLATE

Update issue guidelines link for bug reports.

2023-10-27 09:47:08 -03:00

workflows

.github: Update github-script to v7 and fix a rest bug

2024-02-05 08:31:47 -07:00