I went to the old "obsolete" repository webpge http://git.racket-lang.org/plt and it's not updated since 3 days (as expected?).
I think it would be a good idea to put there a message with a link to the new repository. Gustavo On Wed, Sep 16, 2015 at 5:15 PM, Sam Tobin-Hochstadt <[email protected]> wrote: > 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. -- 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/CAPaha9NT-RKHCM%2BijE5pLELtZWPgLStWS2vg7hSsmtvnzPXzaw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
