Mark, What about using labels in Github? Since these are PRs you can add whatever labels you want to them.
Changing labels is tracked and visible, and I don't think non-collaborators can change them. On Sunday, December 9, 2018 at 11:58:47 AM UTC-8, Stephen Connolly wrote: > > > > On Sun 9 Dec 2018 at 15:35, Mark Waite <[email protected] <javascript:>> > wrote: > >> >> >> On Sun, Dec 9, 2018 at 8:18 AM Daniel Beck <[email protected] >> <javascript:>> wrote: >> >>> >>> >>> > On 9. Dec 2018, at 15:34, Mark Waite <[email protected] >>> <javascript:>> wrote: >>> > >>> > Is it allowed to use issues.jenkins-ci.org for that type of tracking? >>> > >>> >>> I don't see why it would not be, or do you need access to features, or >>> plugins installed, that you currently don't have? >>> >>> >> I am not aware of needing anything more than is already available to me. >> However, I haven't tried the experiment yet, so I'm not 100% certain. >> >> >>> FWIW any user can reorder issues on boards ("rank"), or change their >>> priority, so neither is probably a good choice. >>> >>> >> I think that might actually be a positive rather than a negative. If >> someone is willing to find the board and use it to adjust priority >> settings, I'd like to see their results. If it were abused, I could always >> keep a local snapshot of the priorities, or place a snapshot in some other >> location. >> > > Rank is *global* so if someone has another board and your issues show on > that board too, any rank adjustments will ripple AIUI > > >> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "Jenkins Developers" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to [email protected] <javascript:>. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/jenkinsci-dev/5A128BE7-EF96-40DC-9E2D-2A459B0494DD%40beckweb.net >>> . >>> For more options, visit https://groups.google.com/d/optout. >>> >> >> >> -- >> Thanks! >> Mark Waite >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Jenkins Developers" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected] <javascript:>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/jenkinsci-dev/CAO49JtH3uO4bGPaCbxJEmpJtZ8sn5BYZ5%2BXJ4Jn%3DUB1CuEUePA%40mail.gmail.com >> >> <https://groups.google.com/d/msgid/jenkinsci-dev/CAO49JtH3uO4bGPaCbxJEmpJtZ8sn5BYZ5%2BXJ4Jn%3DUB1CuEUePA%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> For more options, visit https://groups.google.com/d/optout. >> > -- > Sent from my phone > -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/e90320d5-9f4d-45ad-a89c-73384f237e62%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
