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

add disclaimer about the move to nim-lang/bigints #39

Closed
wants to merge 1 commit into from

Conversation

pietroppeter
Copy link
Contributor

Might I add here big thanks 🙏 to @def- for this, we miss you in Nim community! 😊

nim-lang/Nim#14696 (comment)

@def-
Copy link
Member

def- commented Nov 10, 2021

How about I move my repo to nim-lang/bigints using the github settings instead? Then everyone landing in def-/nim-bigints would automatically be redirected to nim-lang/bigints.

@pietroppeter
Copy link
Contributor Author

How about I move my repo to nim-lang/bigints using the github settings instead?

ah, yes, I agree it would be a better option (stars would also be inherited), but it would require some additional effort on aligning the repo. nim-lang/bigints was forked some time ago and commit history diverged. I think the effort would be worth though. I will close this PR now (we can always open it again) and we could probably move this discussion on nim-lang/Nim#14696

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

Successfully merging this pull request may close these issues.

2 participants