|
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] |