infra-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Daniel Gruno (JIRA)" <>
Subject [jira] [Updated] (INFRA-17177) Automated serial merge of pull requests
Date Thu, 25 Oct 2018 14:42:00 GMT


Daniel Gruno updated INFRA-17177:
    Status: Waiting for user  (was: Waiting for Infra)

There's a very clear policy from Legal, in that anything with write-access to code cannot
be done by a non-human. I think this applies to merging PRs, so I'd say it's not possible.

> Automated serial merge of pull requests
> ---------------------------------------
>                 Key: INFRA-17177
>                 URL:
>             Project: Infrastructure
>          Issue Type: New Feature
>          Components: CI, Github
>            Reporter: Maximilian Michels
>            Priority: Major
> The Beam project could potentially make use of an automatic serial merge, e.g. via
> I suppose it is not possible to install it as a GitHub plugin? 
> What is the policy regarding such external tools which manage the commit workflow? Is
it enough for the PMC to approve such use?

This message was sent by Atlassian JIRA

View raw message