Is it possible to merge open pull-request based on its id via command line? I'm able to list opened pull request based on curl 'https://api.github.com/search', which returns back open PRs with their IDs. I would like to merge some of PRs, ideally based on their IDs which are in response, but I couldn't find any way how to do it.
Asked
Active
Viewed 95 times
0
-
You could use the github cli? https://cli.github.com/manual/gh_pr_merge – evolutionxbox Aug 19 '22 at 08:11
-
Althoug that works, it doesn't provide option to specify PR ID. I can specify only number of PR. But thanks anyway for this suggestion! :) – vjancich Aug 19 '22 at 08:47