github_merge - 

Query the Github PR API to perform a merge

Content