JuliaDocs/Documenter.jl
GitHub で見るAdd a "Star on GitHub" button along with Edit on GitHub in the docs
Open
#1,332 opened on 2020年6月7日
Format: HTMLType: Enhancementhelp wanted
Repository metrics
- Stars
- (910 stars)
- PR merge metrics
- (平均マージ 16d 9h) (30d で 3 merged PRs)
説明
Hey all, @tlienart had the great suggestion of adding a "Star on GitHub" button to drive more stars (a typical metric to assess the use of a package across OSS) to our Julia packages. The example is given (which is very telling IMO) is that Documenter only has 294 stars but is very widely used across the ecosystem.