Ein Tool, das Benutzer warnt, wenn ein PR auf GitHub gemerged wird, ohne Commits zusammenzuführen
Installieren Sie die GitHub-App und richten Sie die erforderlichen Berechtigungen für den Repository-Zugriff ein