where the following automated Jira integration was suggested for incoming pull requests:
* Create a new JIRA issue (or use an existing issue referenced in the pull request)
* Link or copy the content of the GitHub pull request issue
* Provide instructions on the GitHub pull request, and provide a link to the JIRA issue
* Close the GitHub pull request
As long as we don't want to start leveraging Github directly for collaboration I think the above process can best take care of directing incoming work to the correct channels.
If someone wants to work on this: we already have a way to trigger a script when a new pull request is made, so all we need is the script that does the above. And as mentioned on
, it would also be a good idea to clarify with legal-discuss@ whether and how pull requests on Github satisfy our legal audit requirements.