Request for comments on dry-run Trac -> GitLab migration

Niklas Hamb├╝chen mail at
Tue Feb 5 00:34:03 UTC 2019

I find that commits aren't mentioned on the corresponding issues, for example there's no equivalent of


I vaguely remember these "commit posts" being discussed before somewhere.
But that's not even what I'm after.

The commit itself mentions the ticket ("This fixes #13497").
Usually when such a commit is pushed to Gitlab, it automatically creates an entry like:

      Niklas Hamb├╝chen @nh2 mentioned in commit abc123456 3 months ago

But this isn't the case here.
Is it because the issues were imported *after* the repo commits already exist?

Can it be fixed?
E.g. can Gitlab be told to re-index the repo accordingly?
Or could it be done by deleting `master` and re-pushing the entire history?

More information about the ghc-devs mailing list