I abhor “every pull request requires a ticket” policies.

What happens for small drive-by contributions is a pointless ticket gets created that is “make change from X to Y”.

09 Apr 2021