unisonweb/unison
View on GitHubshould have a way to delete multiple definitions at once (especially mutually dependent definitions).
Open
#711 opened on Aug 12, 2019
help wanted
Repository metrics
- Stars
- (6,624 stars)
- PR merge metrics
- (Avg merge 12d 19h) (6 merged PRs in 30d)
Description
A workaround is to rename them into a Trash branch or similar and then delete the Trash branch.