Request for comments on dry-run Trac -> GitLab migration
mail at nh2.me
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