keep github ids in sync with trac ids even if trac has no consecutive ticket ids

[bwl21]

Request

By whatever reason we have deleted a bunch of tickets in our trac. I now would like to migrate trac into a fresh github project. Is there a way to ensure that the id in github are the same as in trac, even if the ids are not consecutive.

This is the opposite case than the one when we do in an exisitng github repository which already has issues.

Solution approach

• We could create "dummy tickets" for the missing ids and delete the same afterwards.
• rewrite the ticket references in comments - but this is not possible for commit messages.

[mavam]

Looking forward to your PRs. I can see you've already spent quite some time enhancing the tool. Thanks in advance!