GitHub user zentol opened a pull request:
https://github.com/apache/flink/pull/4542
[FLINK-7445] [GitHub] Remove FLINK-1234 reference from PR template
The PR template on github contains a reference to FLINK-1234 as an example
for the PR title.
The problem is that every PR that doesn't fill out the template, or rather
does not delete that part of the template, will now be referenced in
FLINK-1234, leading to spam on the mailing list.
I've replaced `1234` with `XXXX`, which should still get the idea across.
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/zentol/flink 7445
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/flink/pull/4542.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #4542
----
commit 3449b390823467c058c1a14fd5889b87200fbdad
Author: zentol <[email protected]>
Date: 2017-08-14T21:14:13Z
[FLINK-7445] [GitHub] Remove FLINK-1234 reference from PR template
----
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
