ci: add a workflow that can close PRs made from the bot account#156

Merged

seshapad merged 1 commit intokonveyor:mainfrom HarikrishnanBalagopal:ci/addcloseprflow

Sep 24, 2023

+27

Commits on Sep 24, 2023

ci: add a workflow that can close PRs made from the bot account
HarikrishnanBalagopal
committed