Thanks! I saw the trash icon, but I asked just in case. Gustavo
On Sun, Oct 27, 2019 at 12:27 PM Sam Tobin-Hochstadt <[email protected]> wrote: > I deleted your branch, and the others you mention. > > If you go to https://github.com/racket/racket/branches (for example) > you should be able to delete branches as well. > > Sam > > On Sat, Oct 26, 2019 at 8:32 AM Gustavo Massaccesi <[email protected]> > wrote: > > > > I pushed to the wrong branch in racket/games :( > > > > https://github.com/racket/games/tree/19-10-SameTypo > > > > Is it possible to remove this branch to avoid confusion? > > > > Gustavo > > > > PS: There is another branch in that repo that looks like a similar (old) > error and a few branches in racket/racket. Perhaps it's a good time to > check and delete them. > > > > -- > > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/CAPaha9O%3DPup1qG4%3D9SAFkYriJH-vTj8Fp4h_ycWPTh4Sp3SpQA%40mail.gmail.com > . > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAPaha9NJ_RmKz%2BEbMz%3DT4twyT2h0-h2Li25_DrxPjF0ZFHLSDA%40mail.gmail.com.
