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.

Sign up for GitHub

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

Jump to bottom

Rename repo #80

Closed

kermitt2 opened this issue Jun 16, 2018 · 2 comments

Assignees

Milestone

Owner

kermitt2 commented Jun 16, 2018

Beware after the 0.0.3 release, I rename the repo to entity-fishing ! :D

kermitt2 self-assigned this

kermitt2 added this to the 0.0.3 milestone

Collaborator

lfoppiano commented Jun 16, 2018

Github should keep a redirect if I've understood well https://blog.github.com/2013-05-16-repository-redirects-are-here/

Owner Author

kermitt2 commented Jun 16, 2018

redirect is indeed working !

kermitt2 closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment