|
| From: | Yuan Fu |
| Subject: | Accidentally pushed a branch |
| Date: | Sat, 18 Jun 2022 17:00:43 -0700 |
Errr I accidentally pushed to tree-sitter rather than feature/tree-sitter, how can I delete that branch? Sorry for the fuzz. Yuan
| [Prev in Thread] | Current Thread | [Next in Thread] |