Update records after changing github username?

[getcmdrolled]

#47732 I changed my username and the bot doesn't let me update it?

#44461 Got accepted by a human reviewer, so it seems this is allowed?

[MaseDev33]

#47732 I changed my username and the bot doesn't let me update it?

#44461 Got accepted by a human reviewer, so it seems this is allowed?

Can you tell me your old username?

[MaseDev33]

@getcmdrolled try opening a new PR

She can't because her username changed. If I get proof I can reopen the commits she made and merge them.

the bot is turned off now I think so it should work

Just confirmed it's her domain. Will merge now.

[gameroman]

It was #15946

[getcmdrolled]

If possible, can you give me your old PR numbers?

all the old ones were
#13904
#25237
#25283
#25299
#25303
#29294

[gameroman]

I've reopened your PR and merged it