Skip to content

Tweaked usage of add-pr-comment to use write access instead of explicit tokens.#273

Merged
jbum merged 1 commit intomainfrom jbum-update-pr-workflowMar 12, 2024