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,
Wolfgang
More information about the ghc-devs
mailing list