Skip to content

Ensure we print the user in the post-PR merge tests.#6044

Merged
bmarty merged 1 commit intodevelopfrom michaelk/ensure_github_user_in_pr_merge_messageMay 16, 2022
+2-2

Commits

Commits on May 13, 2022