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/CAK%3DHD%2BYke_Csdcva-RmfDwGG9qAvApfFd9iihYuWbgUvPgvjHg%40mail.gmail.com.

Reply via email to