A red blocker along the lines of: “Triviality Unconfirmed”. One of the reviewers needs to remove this before the PR can be merged.
It’s in our face, it prevent accidental merges and its low overhead. Pauli -- Dr Paul Dale | Distinguished Architect | Cryptographic Foundations Phone +61 7 3031 7217 Oracle Australia > On 13 Dec 2019, at 7:06 am, Dr Paul Dale <paul.d...@oracle.com> wrote: > > Before we start over engineering a solution, how about we try just having an > automatic visual indicator for trivial PRs. > > > Pauli > -- > Dr Paul Dale | Distinguished Architect | Cryptographic Foundations > Phone +61 7 3031 7217 > Oracle Australia > > > > >> On 13 Dec 2019, at 3:24 am, Kurt Roeckx <k...@roeckx.be >> <mailto:k...@roeckx.be>> wrote: >> >> On Thu, Dec 12, 2019 at 12:10:35PM +0000, Matt Caswell wrote: >>> >>> But in principle I agree that addrev could be used to do this. It's not >>> quite as robust as doing it in the commit hook - because you don't >>> *have* to use addrev. But, AFAIK, everyone does - so that's probably >>> good enough. >> >> I have never used addrev. >> >> >> Kurt >> >
