Re: OpenJFX GitHub mirror

Iv'e done some house cleaning and linked whatever I found. Should have caused a decent amount of notification spam... - Nir On Wed, Apr 4, 2018 at 8:10 PM, Kevin Rushforth wrote: > I don't have a strong preference. The URL contains either "issue" or > "pull"

Re: OpenJFX GitHub mirror

I don't have a strong preference. The URL contains either "issue" or "pull" already, so there should be no confusion if we just use the URL. -- Kevin Nir Lisker wrote: github-bug is fine by me. What about external links, name them or leave them as URLs? On Wed, Apr 4, 2018, 16:43 Johan Vos

Re: OpenJFX GitHub mirror

github-bug is fine by me. What about external links, name them or leave them as URLs? On Wed, Apr 4, 2018, 16:43 Johan Vos wrote: > +1 > > On Wed, Apr 4, 2018 at 3:30 PM Kevin Rushforth > wrote: > >> Any further comments on this? If not, then

Re: OpenJFX GitHub mirror

+1 On Wed, Apr 4, 2018 at 3:30 PM Kevin Rushforth wrote: > Any further comments on this? If not, then I propose we start using the > JBS label: > > github-bug > > To identify JBS issues that are linked to guthub issues and/or PRs > > -- Kevin > > > Nir Lisker

Re: OpenJFX GitHub mirror

Any further comments on this? If not, then I propose we start using the JBS label: github-bug To identify JBS issues that are linked to guthub issues and/or PRs -- Kevin Nir Lisker wrote: I think that the labels should be succinct, so one label should suffice. Either github-link or

Re: OpenJFX GitHub mirror

I think that the labels should be succinct, so one label should suffice. Either github-link or github-bug are fine for me, the latter because there is webbug label already. If a PR needs review just use the review-request existing label. As for issues and PRs, the issue links section in the JIRA

Re: OpenJFX GitHub mirror

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

Re: OpenJFX GitHub mirror

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 a écrit : > I think this would be fine. We would want something that didn't conflict > with anything else and

Re: OpenJFX GitHub mirror

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,

Re: OpenJFX GitHub mirror

Kevin, can we get a label for this? - Nir On Mon, Mar 26, 2018 at 4:37 PM, Johan Vos 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 > >

Re: OpenJFX GitHub mirror

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 wrote: > Hi All, > > A few comments about the mirror and

OpenJFX GitHub mirror

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