rocq-prover / rocq-prover/platform-docs
Crediting main contributors
Open
Nobody has claimed this yet.
Repository
Wish
- Dominant language
- Rocq Prover
- Stars
- 26
- Forks
- 25
- Avg merge
- 2d 22h
- Merged PRs (30d)
- 1
Description
Concerning #5 and the worry that it can hide contributors, I suggest adding a
- field main contributors in the template so that it is visible at the beginning
- name and pictures at the end so to make it visually visible
Contributor guide
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
The issue does not name a file or test; start by locating the template referenced by #5 and inspect how contributor credit is currently presented. Add a visible main-contributors field near the beginning and names and pictures at the end, then verify the rendered result makes both sections visible.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 30/100