GraphQL to find PR associated with branch
This about a mini adventure to find which PR(s) belong to which branch using GitHub GraphQL for a GitHub Action project.
Recent posts
Josephus - generalised binary recurrence unfolding
I have some confusion around the meaning of $b_m$ and $b_j$. I think it is as follows:
Azure Dev Ops Boards - How to get and update a Work Item using typed-rest-client
This post outlines what worked for me to update an Azure Dev Ops (ADO) Boards Work Item. I initially tried the following prior to settling on typed-rest-clie...
How to solve it - Reductio ad absurdum example
As before, this is from George Pólya’s “How to Solve It” book. I am reading this because I want to sharpen my problem solving skills and, eventually, be abl...
How to Solve It - Chains of Auxilliary Problems
This is from George Pólya’s “How to Solve It” book. I am reading this because I want to sharpen my problem solving skills and, eventually, be able to make d...