Skip to content
This repository has been archived by the owner on Sep 19, 2024. It is now read-only.

Unnecessary issue #625

Closed
kamaalsultan opened this issue Aug 16, 2023 · 2 comments
Closed

Unnecessary issue #625

kamaalsultan opened this issue Aug 16, 2023 · 2 comments

Comments

@kamaalsultan
Copy link
Contributor

kamaalsultan commented Aug 16, 2023 •
edited
Loading

Describe the background or context

Users can change their user names on github.
#623 (comment)
This happened because I changed my github user name.

Describe the solution

It would be good to manage users on database by user id, not user name.
@ubiquibot ubiquibot bot mentioned this issue Aug 16, 2023
Closed
@kamaalsultan kamaalsultan mentioned this issue Aug 16, 2023
Closed
@0x4007
Copy link
Member

0x4007 commented Aug 16, 2023 •
edited
Loading

@0x4007 0x4007 closed this as not planned Won't fix, can't repro, duplicate, stale Aug 16, 2023
@ubiquibot
Copy link

ubiquibot bot commented Aug 16, 2023

Permit generation skipped because the issue was not closed as completed

If you enjoy the DevPool experience, please follow Ubiquity on GitHub and star this repo to show your support. It helps a lot!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@0x4007 @kamaalsultan