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

Simon Peyton Jones via ghc-devs writes:

Could we arrange that searching for the ticket number succeeds? Eg searching for 12088 fails, and 16013.

Yes, this is a bug [1]. I will bring it up with David. Cheers, - Ben [1] https://gitlab.com/gitlab-org/gitlab-ce/issues/30974