Welcome to GitLab!

Wolfgang Jeltsch wolfgang-it at jeltsch.info
Tue Jan 1 21:58:35 UTC 2019

Am Dienstag, den 01.01.2019, 15:04 -0500 schrieb Ben Gamari:
> Wolfgang Jeltsch <wolfgang-it at jeltsch.info> writes:
> > What if I create a GitHub-linked GitLab account before the 
> > migration? Will this account be used for my Trac stuff in case my 
> > GitHub(!) e-mail address is the same as my Trac e-mail address?
> I'm pretty certain it will although I have not verified this yet. I'll
> make a note to check.

Thanks a lot.

All the best,

More information about the ghc-devs mailing list