5 hours later…
06:33
@GregoryNisbet Among the options I see here (while not logged in) are "log in" and "sign up". Did you try what happens after clicking on "sign up"?
In any case, maybe it's not that important - maybe it can be fixed later. (Since I thought that creating a new account associated with your other SE account would be relatively easy, I suggested to do it that way - and to avoid the need to ask for merging the accounts later.)
in Martin Sleziak's room, Jan 16 at 22:41, by François G. Dorais
Thanks for the notification Martin. I've reproduced the error but I don't know an easy way to fix it. It doesn't matter much anyway, so it's probably easiest to let it be.
07:05
Thanks. I logged out, which caused my unregistered account to disappear. I then signed up (I think?) and managed to create an area 51 account. I have 151 reputation, but my site-wide profile text was copied over to area 51, so I think that means my account was successfully linked. I didn't think to write down exactly what I did, but I did follow the instructions on the "you have 51/151 rep" question pretty closely.
07:25
Which is good - I was out of suggestions. (If this did not work, I wouldn't be able to suggest some other way to go.)
I have to admit that I do not really understand how this association between area51 accounts and Stack Exchange accounts works.
« first day (68 days earlier) ← previous day next day → last day (1063 days later) »
Transcript for
Jan31
Feb '221
Feb3
Proof Assistants
General discussion for proofassistants.stackexchange.com