Hello! I've stumbled upon this GitHub App: https://github.com/marketplace/dpulls
> Dpulls allows you to specify dependencies between pull requests [by adding a comment] and creates a status check to make sure the PRs are merged in the right order See it in action in this gif: https://marketplace-screenshots.githubusercontent.com/7171/4746c300-c629-11ea-85b9-44c0c5ecfe83 Features (from https://www.dpulls.com/): - Nested dependencies: Dpulls allows dependency chain with more than one level (deep dependency) - Cross-repository support: A PR can depend on PRs from other repositories. - Cross-organization support: A PR can depend on PRs from other repositories even though they belong to a different organization. They have a free tier for public repositories. I think it could be useful on the jenkinsci and jenkins-infra GitHub organizations, WDYT? Let me know if you're interested, regards, Hervé Le Meur Jenkins Infrastructure Team -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAL-Lwjx3_yvuqg0cD1ihPjBk458kTZivoVifdTB7MT7Ey9oOwQ%40mail.gmail.com.
