Allow closing pull request instead of exiting with error#1065

Merged

xalvarez merged 8 commits intoxalvarez:mainfrom HasanHajHasan:feature/close-pr

Dec 29, 2024

+112-16

Commits on Dec 29, 2024

fix naming

HasanHajHasan
authored and
xalvarez
committed
add option to close PR

HasanHajHasan
authored and
xalvarez
committed
fix tests and build

HasanHajHasan
authored and
xalvarez
committed
fix PR issues and tests

HasanHajHasan
authored and
xalvarez
committed
revert githubservice renaming

HasanHajHasan
authored and
xalvarez
committed
Add negative test
xalvarez
committed
Improve documentation
xalvarez
committed
Remove duplicate input
xalvarez
committed