On Fri, May 25, 2012 at 5:59 PM, Andres Löh <andres@well-typed.com> wrote:
On Fri, May 25, 2012 at 6:56 PM, Johan Tibell <johan.tibell@gmail.com> wrote:
On Fri, May 25, 2012 at 9:49 AM, Bryan O'Sullivan <bos@serpentine.com> wrote:
Ugh. I'll see if I can find time to write a script to fix up the cross references.
Is the problem due to there already being some issue reports in the repo and thus all the Trac tickets got offset by some number?
My speculation would be that some Trac tickets don't exist because they have been deleted, and then these don't get converted, and this introduces an offset.
Yeah, I think this is more likely, since it seems like not all of the cross-references are off by the same amount. github issue #719 is trac #729, but github issue #410 is trac #417.