Wrong branch in racket/games

56 views
Skip to first unread message

Gustavo Massaccesi

unread,
Oct 26, 2019, 8:32:37 AM10/26/19
to racket-dev
I pushed to the wrong branch in racket/games :(


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.

Sam Tobin-Hochstadt

unread,
Oct 27, 2019, 11:27:30 AM10/27/19
to Gustavo Massaccesi, racket-dev
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
> --
> 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 racket-dev+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAPaha9O%3DPup1qG4%3D9SAFkYriJH-vTj8Fp4h_ycWPTh4Sp3SpQA%40mail.gmail.com.

Gustavo Massaccesi

unread,
Oct 27, 2019, 2:09:30 PM10/27/19
to Sam Tobin-Hochstadt, racket-dev
Thanks! I saw the trash icon, but I asked just in case.

Gustavo
Reply all
Reply to author
Forward
0 new messages