github / github/erblint-github
Do we want to rename this repo?
Open
- Dominant language
- Ruby
- Stars
- 66
- Forks
- 9
- Avg merge
- 9h 26m
- Merged PRs (30d)
- 2
Description
Following up on conversations in: https://github.com/github/erblint-github/pull/4
Contributor guide
Research direction
Start by reading pull request #4 and the conversations it contains, since this issue only follows up on that discussion. A decision about whether the repository should be renamed is needed before any implementation can be considered done.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 15/100