Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Project moved to new repository #831

Open
Methuselah96 opened this issue Jan 18, 2022 · 2 comments
Open

Project moved to new repository #831

Methuselah96 opened this issue Jan 18, 2022 · 2 comments

Comments

@Methuselah96
Copy link
Collaborator

Note that this project has been moved to https://github.com/reduxjs/redux-devtools. Please file your issues and PRs there.

@Methuselah96 Methuselah96 pinned this issue Jan 18, 2022
@tebeco
Copy link

tebeco commented Jan 20, 2022

@zalmoxisus @Methuselah96 should this repo be archived ?
That might redirect user faster to the new repo.
and the describtion updated:
image

When a repository is archived, its issues, pull requests, code, labels, milestones, projects, wiki, releases, commits, tags, branches, reactions, code scanning alerts, comments and permissions become read-only. To make changes in an archived repository, you must unarchive the repository first

@Methuselah96
Copy link
Collaborator Author

Yeah, it should be, I just don't currently have admin access to archive it at the moment. I'll email Mihail and see if I can get admin access to archive it or maybe he'll see this here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants