Search code, repositories, users, issues, pull requests...

This repository exists to learn more about how GitHub Merge Queues practically work. Reading the documentation is one thing; actually understanding what all of the knobs control and what the edge cases are requires practical experience.

In order to do this effectively, we want a repository with a handful of pull requests where it's easy to get CI to pass on its own, but slightly harder to get CI to pass on the merge if someone has already merged ahead of you. This repository is a modified version of the "fizz buzz" game: The total number of lines of all the files in the repository (according to LANG=C wc -l) must be divisible by 3 or 5, but not both.

Writing a bot to make a bunch of useless pull requests seems poor-spirited, so instead I'll ask... you! Pull requests welcome! Nothing could possibly go wrong.

Pull requests that don't pass checks on their own can't go into the merge queue. Once your PR passes checks and I'm okay with the contents, I'll approve the PR. After that, you don't need to do anything else.

Leave a Comment