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:
$ git remote set-url origin [email protected]:racket/racket
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:
$ git remote set-url origin https://github.com/racket/racket.git
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
--
You received this message because you are subscribed to the Google Groups
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-dev/CAK%3DHD%2BY3Q5Yd0gbz60LmnrnVguU%3DO7cOAQ5d3GhWFVreLNvVhw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.
