We should probably download all Google Code issue attachments, at least for posterity. Anyone know of a good way to do it?
Aaron Meurer On Sat, Apr 18, 2015 at 12:04 PM, Jason Moore <[email protected]> wrote: > Aaron, > > I've noticed lots of the old imported issues from Google code referencing > patches that have never been merged. Are all of these patches going to > disappear when Google code does? > > Should we be worried about that? > > > Jason > moorepants.info > +01 530-601-9791 > > On Fri, Apr 17, 2015 at 4:28 PM, Aaron Meurer <[email protected]> wrote: >> >> On Fri, Apr 17, 2015 at 2:05 PM, James Crist <[email protected]> wrote: >> > On Friday, April 17, 2015 at 1:34:55 PM UTC-5, Joachim Durchholz wrote: >> >> >> >> > - Help labeling. >> >> >> >> I haven't found a way to enable tagging for people that do not have >> >> full >> >> write access to the repository. I suspect GitHub does not offer any. >> >> This is also the reason why tagging does not happen very much. >> > >> > >> > Hmmm, you're right... It would be nice to allow the general public to >> > tag >> > issues, but I could also see an argument against that due to "potential >> > vandalism". In general, I'd trust people not to mess with things, but >> > can >> > also see why it is the way it is. Once we get through the huge backlog, >> > having the core team tag issues as they come in should be a lot more >> > manageable. >> > >> > I have another label question: >> > >> > - `Needs better patch`: could be useful to indicate PR status to devs, >> > but >> > mostly I feel that it comes off as rude to the person making the PR. I'd >> > like to remove it unless someone makes a strong argument to the >> > contrary. >> >> Do people still use this? This is leftover from Google Code when >> people literally uploaded patches to issues. It and NeedsReview were >> the only way to keep track of patches so they wouldn't get lost. But >> now that we have the pull request queue, I feel that it's mostly >> unnecessary. >> >> Aaron Meurer >> >> > >> > -- >> > 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/7ed5e065-3b3e-4210-9e1a-520b8dee133b%40googlegroups.com. >> > >> > 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/CAKgW%3D6%2BLxqYOTbHqKEpAS9EFomwnMn8ENAh-MjHw6sWRvyv-mg%40mail.gmail.com. >> 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/CAP7f1AiscYPYxi6TxdmG-7ADU4utEKG4Qo3BarTdfv31V%2BJgRw%40mail.gmail.com. > > 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/CAKgW%3D6%2B7LmUGYKiGbOwcZGLgLQd%3DaWu_LZA82dOBdC9PMPqZcw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
