unisonweb/unison
View on GitHubconsider whether numbering is meaningful in ShowDiffAfterDeleteBranch
Open
#1,234 opened on Feb 13, 2020
help wanted
Repository metrics
- Stars
- (6,624 stars)
- PR merge metrics
- (Avg merge 12d 19h) (6 merged PRs in 30d)
Description
Basically, can these even be viewed? Should they be able to be?