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!