github_merge

Query the Github PR API to perform a merge

Content