leanprover-community / leanprover-community/queueboard-core
More details for "number of modified files"
Open
Nobody has claimed this yet.
enhancement
prio:low
- Dominant language
- Python
- Stars
- 5
- Forks
- 9
- Avg merge
- 2h 58m
- Merged PRs (30d)
- 4
Description
I often do not only want "number of modified files", but actually four numbers: number of added files, number of deleted files, number of files that are not new but have only additions, and number of files that are not deleted but have deletions (and possibly additions)
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
No files or tests are named in the issue. Start by locating the existing implementation of "number of modified files," then determine where the four requested counts are calculated and add or update tests so each category is reported correctly.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- backend
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100