Skip to content

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