Mastodawn

How to approve and merge a pull request professionally? With two developers and their yubikey as authentication, using the briefcase of launching.

I don't know, it looks like a nuclear football to me.