I don't think Github cares how we manage our projects. This is only about enabling us to manage it how we want/need. If they have a checkbox in the repo's settings that allows/disallows PR authors to modify labels then we can decide how much freedom we want to give an author.
Jason moorepants.info +01 530-601-9791 On Tue, Jun 9, 2015 at 2:47 PM, Joachim Durchholz <[email protected]> wrote: > Am 09.06.2015 um 23:39 schrieb Jason Moore: > >> Ondrej and I thought that we should ask Github to enable PR authors' >> ability to modify labels on their own PRs. We should all put in a request >> for that. >> > > Labels such as "ready to merge if Travis is okay with it" should not be > settable by the PR author, so I doubt GH will implement that. > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/55775EDC.9010600%40durchholz.org. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAP7f1AjkSHyLxEhhLsLhBL7j6MeBU%3Dk3AaQj9-YT0-tAn-Zt%2Bw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
