unisonweb/unison

should have a way to delete multiple definitions at once (especially mutually dependent definitions).

Open

#711 opened on Aug 12, 2019

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Haskell (304 forks)batch import
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.

Contributor guide