redirect trac.torproject.org to gitlab.torproject.org on dec 12th 2020
Once trac is shutdown, redirections from trac.torproject.org needs to be perform to gitlab.torproject.org.
This happens 6 months after trac is put readonly (which is on june 12th) so december 12th 2020.