On Wed, Jun 24, 2009 at 11:07 AM, Nick Alexander<ncalexan...@gmail.com> wrote: > >> Put 'em in a folder, then -- trac/* will pick 'em up. Having tickets >> start with a repo name would vastly improve the automerge experience. >> >> +1 to repo_num_desc.patch > > Can repo be optional and default to devel/sage? There's lots our > tools can do that doesn't require having a redundant 'sage' or 'sage- > main' or 'devel' at the front. This was a feature never added to - > merge, that's all.
Yeah, that's fine by me. > > Nick > > > > --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---