help wantedscm
Repository metrics
- Stars
- (18,676 stars)
- PR merge metrics
- (Avg merge 15d 4h) (75 merged PRs in 30d)
Description
Feature Description:
See https://github.com/eclipse-theia/theia/discussions/11371 for background.
Suggesting one of the following approaches:
- Dropdown menu with 10, 30, 50 and 100 commits
- Text field to let complete control to the end user