Two green GitHub pull requests broke main — require branches to be up to date before merging
I merge a pull request once every check on it is green. So it was a surprise when one of my pull requests failed CI on a test file it never touched. The failure was not mine at all. Main itself had gone red right after another pull request merged with every check passing, so every open pull request was now red for a reason outside it. The broken main was also hiding a real bug that no test had run against yet. The checks on the merged pull request were not wrong, only old. They had run before a…
Read more