so cool, dass es etwa 5-6 Klicks braucht, um einen einzeiligen PR auf GitHub zu genehmigen