Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Large rework to enable sending pull requests as user. #10

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Large rework to enable sending pull requests as user. #10

wants to merge 1 commit into from

Commits on Jun 10, 2021

  1. Large rework to enable sending pull requests as user. 

    This is done by using two GitHub Apps;
 (a) [OpenROAD Pull Request Sender
      ](https://github.com/organizations/The-OpenROAD-Project-staging/settings/apps/openroad-pull-request-sender) --
     The GitHub App which is given permission by a user to actually send
     pull requests as them and then does the request.

     It is installed on the `upstream` and `staging` repositories.
     It needs the ability to modify pull requests.

 (b) [OpenROAD Pull Request Sender Auth Check
      ](https://github.com/organizations/The-OpenROAD-Project-private/settings/apps/openroad-pr-sender-auth-check) --
     The GitHub App which checks that a user has given the OpenROAD Pull
     Request Sender the permission to send the pull requests.

     It is installed on the `private` repositories.
     It only needs the ability to update check status.

The GitHub Apps run using
[Google Cloud Run](https://cloud.google.com/run) (on Google Cloud
Platform) under the `openroad-robot` project.

Signed-off-by: Tim 'mithro' Ansell <[email protected]>
    @mithro
    mithro committed Jun 10, 2021
    Configuration menu
    Copy the full SHA
    14f16e7 View commit details
    Browse the repository at this point in the history