[Webkit-unassigned] [Bug 192227] New: Add script to automatically close GitHub pull requests

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Fri Nov 30 07:36:51 PST 2018


            Bug ID: 192227
           Summary: Add script to automatically close GitHub pull requests
           Product: WebKit
           Version: WebKit Nightly Build
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: Tools / Tests
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: mcatanzaro at igalia.com
                CC: don.olmstead at sony.com, jond at apple.com,
                    lforschler at apple.com, rniwa at webkit.org

This script will close all open pull requests at https://github.com/WebKit/webkit with a friendly message:

Thank you for your interest in contributing to WebKit!

This repository is a mirror and does not accept pull requests. Please submit your contribution to [WebKit Bugzilla](https://bugs.webkit.org/) for code review. Please also read [Contributing Code](https://webkit.org/contributing-code/) for an introduction to the contribution process. We apologize for the inconvenience and hope to see you on WebKit Bugzilla soon!

If we run the script on a daily basis, then potential contributors can be redirected to Bugzilla in a timely manner, instead of getting frustrated that their pull requests were ignored until somebody notices them weeks later.

We have two options to run it:

 (a) I could configure it to run nightly on my personal VPS, if Jon is OK with granting my GitHub account access to the WebKit repo.
 (b) Apple could run it on Apple infrastructure, if someone from Apple wants to manage this.

If we do (b) then the script should be rewritten in python2 instead of python3. (The configparser syntax is different enough that it's easier to support only one python version.)

You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20181130/e1763c35/attachment.html>

More information about the webkit-unassigned mailing list