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