A developer created a custom solution using Gleam and a Raspberry Pi Zero to monitor GitHub PR conflicts and mergeability status. The system uses GitHub's GraphQL API to fetch PR data and displays it through a simple web interface, solving the inconvenience of manually checking each PR's status.

https://giacomocavalieri.me/posts/fixing-my-gripes-with-github-using-gleam-and-a-raspberry-pi

#programming #automation #gleam #github #raspberrypi