The expected thing for you to do is to 1. Create a new account 2. Add that new account as an author to the packages 3. Remove your old account as an author to the packages
If you want, though, I can do a search & replace in the database for you Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Thu, Dec 10, 2020 at 1:06 AM [email protected] <[email protected]> wrote: > It occurs to me that another approach here -- possibly a necessary one > given the current setup of the package server -- would be to manually > intervene. Presumably, it's possible for a package server admin to just > manually associate a package with a certain account? > > On Thursday, December 10, 2020 at 6:44:41 AM UTC+1 [email protected] wrote: > >> Is it possible to change my email address on the package server? It >> doesn't appear so, but perhaps I'm missing something. If not, what would be >> the recommended way of accomplishing an email change? I can create a new >> account, of course. But how to claim ownership of an existing package? Can >> one "abandon" a package with account X and "claim" the package with account >> Y? >> >> Jesse >> > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/d9c9ce65-2070-460c-b679-fa2e187da704n%40googlegroups.com > <https://groups.google.com/d/msgid/racket-users/d9c9ce65-2070-460c-b679-fa2e187da704n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAJYbDa%3DdDWCq9qTMGNJ49HtCFzchPeeFykqqSMEDeau4xEq-vg%40mail.gmail.com.
