leanprover-community / leanprover-community/queueboard-core
Transitive closure of depends-on PRs
A pull request for this has already been merged.
- #100 by @jcommelin — merged
- Dominant language
- Python
- Stars
- 5
- Forks
- 9
- Avg merge
- 2h 58m
- Merged PRs (30d)
- 4
Description
One thing that would be amazing for me would be to get the transitive closure of the depends-on relation for a given PR. I frequently think "I want to make progress on PR #XXXXX, which has a lot of dependent PRs, which PRs are ready for review that ultimately contribute to this PR", and then I have to do a manual depth-first search to find which PRs are ready for review.
This would provide a clear value-add over Github. But it might require quite an overhaul of our current approach using a static webpage.
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
Review the current static webpage approach and the existing representation of the depends-on relation. Trace a given PR's dependency graph, then verify that the transitive closure identifies which contributing PRs are ready for review.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- github, python
- Domain
- developer-experience, tooling
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100