Trac import is complete

[Ben Millwood]

On Fri, May 25, 2012 at 5:59 PM, Andres Löh <andres at well-typed.com> wrote:
> On Fri, May 25, 2012 at 6:56 PM, Johan Tibell <johan.tibell at gmail.com> wrote:
>> On Fri, May 25, 2012 at 9:49 AM, Bryan O'Sullivan <bos at 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.