On 5/18/2022 12:46 PM, user1234 wrote: > I dont know if it's still the case but in the past CI did not fail when a PR > did update the headers so it was not rare to see a PR following, a few days > later, to fixup that. This historically has put a really unfair burden on Iain and Martin.