bugeditorhelp wanted
Repository metrics
- Stars
- (18,676 stars)
- PR merge metrics
- (Avg merge 15d 4h) (75 merged PRs in 30d)
Description
Since it is based on editor navigation history, I assume that the history contains records for deleted files as well. We probably should remove them.