Werkzeuge
GitHubs asynchrone Merge-API ist allgemein verfügbar und nun empfohlen
Automationen reichen einen Merge per PUT ein und fragen per GET nach. Es ist die einzige Merge-API für gestapelte Pull Requests und kann Pull Requests in eine Merge-Queue stellen.
