On Tuesday, March 15, 2016 at 4:56:39 PM UTC-7, Igor Korot wrote: > > Hi, ALL, > Is it possible to link Git PR and Trac tickets, so that there will be one > numbering system? > > Thank you. >
I haven't seen anything like that. It could make for an interesting addition to the trac-github plugin (1). In particular, see ticket #75 (2). Do you have any idea how the feature would be implemented? I imagine it wouldn't be too difficult to tell Trac to skip over particular numbers when creating a new ticket id, but how could we tell GitHub to skip a particular numbers when creating a PR? As a workaround it is straightforward to start Trac ticket numbering with a number other than one. You could start with a large number, like 10e3, or however high is realistic to ensure you'll never reach that many pull requests. - Ryan (1) https://github.com/trac-hacks/trac-github (2) https://github.com/trac-hacks/trac-github/issues/75 -- You received this message because you are subscribed to the Google Groups "Trac Users" 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 https://groups.google.com/group/trac-users. For more options, visit https://groups.google.com/d/optout.
