Re: Add a GitHub App to allow marking pull request dependant on another

2022-09-16 Thread 'Herve Le Meur' via Jenkins Developers
Daniel Beck, Wadeck Follonier, do you think it could be possible for the security team to do a security review of this app? On Wednesday, September 7, 2022 at 2:53:42 PM UTC+2 Jesse Glick wrote: > On Wed, Sep 7, 2022 at 6:42 AM 'Herve Le Meur' via Jenkins Developers < > jenkin...@googlegroups.co

Re: Add a GitHub App to allow marking pull request dependant on another

2022-09-07 Thread 'Jesse Glick' via Jenkins Developers
On Wed, Sep 7, 2022 at 6:42 AM 'Herve Le Meur' via Jenkins Developers < jenkinsci-dev@googlegroups.com> wrote: > I think it could be useful on the jenkinsci and jenkins-infra GitHub > organizations, WDYT? > Sure, assuming it passes some sort of security review. As someone who frequently creates s

Add a GitHub App to allow marking pull request dependant on another

2022-09-07 Thread 'Herve Le Meur' via Jenkins Developers
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