OpenJFX GitHub mirror

[Tom Schindl]

well could we have 2:
* github-issue
* github-pr

The first one indicates someone is working on it over at github, whereas
the second means there's a PR that needs to be review.

Tom

On 29.03.18 08:42, Laurent Bourgès wrote:
> Hi,
> 
> As such github references point to either issue or PR, I recommend using
> the term 'github-link'.
> 
> Laurent
> 
> Le jeu. 29 mars 2018 à 03:40, Kevin Rushforth <kevin.rushforth at oracle.com>
> a écrit :
> 
>> I think this would be fine. We would want something that didn't conflict
>> with anything else and wasn't confusing. Possible choices:
>>
>> github-link
>> github-bug
>> gitbug-issue
>>
>> Any preferences?
>>
>> -- Kevin
>>
>>
>> Nir Lisker wrote:
>>> Kevin, can we get a label for this?
>>>
>>> - Nir
>>>
>>> On Mon, Mar 26, 2018 at 4:37 PM, Johan Vos <johan.vos at gluonhq.com>
>> wrote:
>>>
>>>
>>>> Hi Nir,
>>>>
>>>> About 4. (jfx-dev): you're right, I just removed that repository. That
>> was
>>>> just some testing before we did the real thing.
>>>>
>>>> As for the other points: I agree
>>>>
>>>> - Johan
>>>>
>>>> On Mon, Mar 26, 2018 at 12:03 PM Nir Lisker <nlisker at gmail.com> wrote:
>>>>
>>>>
>>>>> Hi All,
>>>>>
>>>>> A few comments about the mirror and JBS:
>>>>>
>>>>> 1. In PRs and issues on GitHub, I strongly suggest that the link to
>> JBS be
>>>>> included in the top comment. If the JBS issue was created after a
>>>>> discussion, edit it in.
>>>>>
>>>>> 2. In JBS, I suggest to link to the GitHub mirror via More > Link > Web
>>>>> Link and in the Link Text use something like "GitHub mirror" (open for
>>>>> suggestions). JIRA renders the link in an easy to see way (easier than
>>>>> looking at URLs). Iv'e tried it in a couple of issues, e.g.,
>>>>> https://bugs.openjdk.java.net/browse/JDK-8198795 and it seems
>> preferable
>>>>> to
>>>>> me.
>>>>>
>>>>> 3. In JBS, I suggest a new label will be used for issues which are
>> linked
>>>>> to GitHub for search purposes. This is similar to the webbug label.
>>>>>
>>>>> If these are agreeable, please add them to the contribution
>> instructions.
>>>>>
>>>>> 4. What is https://github.com/javafxports/jfx-dev? Newcomers can
>> confuse
>>>>> it
>>>>> with javafxports/openjdk-jfx.
>>>>>
>>>>> 5. When the mirror is fully ready and operational, we should advertise
>> on
>>>>> community pages (like Reddit) to gather up contributors. Please keep a
>>>>> mental reminder when the time comes.
>>>>>
>>>>> Thanks to all who are working on this.
>>>>>
>>>>> - Nir
>>>>>
>>>>>
>>