search

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
Apache License 2.0
25 stars 9 forks source link

Proposal: Move this repo to metamath #119

Closed david-a-wheeler closed 1 year ago

david-a-wheeler commented 1 year ago

@tirix said in issue https://github.com/david-a-wheeler/metamath-knife/issues/64 that:

I support moving this repository to the metamath organization.

That also makes sense to me.

However, I want to make sure that others accept this move before we do it. I believe we can just move this whole repo under https://github.com/metamath and keep everything (issues, history, etc.).

All those in favor please add a "+1". If you have other thoughts, please indicate that too.

Thank you!

david-a-wheeler commented 1 year ago

@digama0 - thoughts?

digama0 commented 1 year ago

Sounds good to me. I think we can just have it owned by the metamath org for maintenance purposes as well, similar to metamath-exe.

david-a-wheeler commented 1 year ago

Very good. I'll leave this proposal up for a bit, to give people a little to object and/or warn of some issue.

david-a-wheeler commented 1 year ago

All: The metamath-knife repository has now been moved to:

https://github.com/metamath/metamath-knife/

All issues and pull requests moved with it. Requests to the old URL will generally be forwarded.

If you have an existing copy of the repo, go to it and type:

git remote -v

That will show you the names of the remotes (often "origin" or "upstream"). You can use get remote set-url to change things (and then use "git remote -v" to see the result), e.g.:

git remote set-url origin https://github.com/metamath/metamath-knife

I'm going to close this as I think it's done.