Re: gitlab migration

Richard Eisenberg writes:

Hi all,

As I'm wrapping up some ICFP papers, I realize that I sometimes link to Trac tickets in published papers. It would be a shame for all these links to suddenly go dead, and I'm sure that my papers aren't the only places external sites link to Trac. Is it expected that, after the full migration, the Trac URLs will redirect?

Yes, canonical Trac ticket and Wiki URLs will redirect. In fact, this is what I am working on as we speak. Cheers, - Ben