Skip to content

Make is_pr_author optional in /cmd - #167

Merged
danielbui12 merged 2 commits into
cmd-botfrom
ci/cmd-run-optional-is-pr-author
Jun 11, 2026
Merged

Make is_pr_author optional in /cmd#167
danielbui12 merged 2 commits into
cmd-botfrom
ci/cmd-run-optional-is-pr-author

Commits

Commits on Jun 11, 2026