help wanted
Repository metrics
- Stars
- (1,882 stars)
- PR merge metrics
- (Avg merge 1d 20h) (345 merged PRs in 30d)
Description
After #14779, we open the possibility of introducing shell completion for fish. It should follow the other completion support we have together with a fish shell completion script maintained on our side. This can then be upstreamed to cmdliner to address https://github.com/dbuenzli/cmdliner/issues/213.