Manipulate Pull Requests Using GitHub REST APIs Mar 25, 2023 Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!