4 Oct
2020
4 Oct
'20
10:09 p.m.
On Sun, Oct 4, 2020 at 8:34 PM Mariatta
Perhaps we can relax the rule to allow administrators to merge the stuck PRs. At least temporarily until Travis/GitHub fixes it. Does this sound okay?
+1 on relaxing the rule permanently. We should not give robots more rights than humans. People before Processes is the very first principle in the Agile Manifesto (and with good reason).