Summary: The main Racket git repository is now at
https://github.com/racket/racket . Other locations are now obsolete.
------
Continuing in our work to move Racket development work to GitHub, we've moved the core Racket repository to `racket/racket` on GitHub. This replaces both the former `plt/racket` repository, and the `git.racket-lang.org:plt` repository. The former will now redirect to the new repository, and the latter will no longer accept pushes.
Similarly, we've moved the `plt/libs` repository.
If you have commit access to the Racket repository, you should update the url you push to in your clone of the repository. If the relevant remote is named `origin`, then you would do:
If you have a clone of either of the older repositories, even if you do not have commit access, you should change it in similar fashion. You might do:
If your clone is of `github.com:plt/racket`, that will work for a while. If your clone is of `git.racket-lang.org:plt`, that is no longer receiving updates.
If you encounter any problems, or have questions about this, let me know.
Sam