JuliaDocs/Documenter.jl

Add a "Star on GitHub" button along with Edit on GitHub in the docs

Open

#1332 aperta il 7 giu 2020

Vedi su GitHub
 (8 commenti) (5 reazioni) (0 assegnatari)Julia (513 fork)batch import
Format: HTMLType: Enhancementhelp wanted

Metriche repository

Star
 (910 star)
Metriche merge PR
 (Merge medio 16g 9h) (3 PR mergiate in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Esamina l'implementazione del pulsante 'Modifica su GitHub' esistente nei template di Documenter.jl e replica un pulsante simile per mettere una stella al repository.
Tech stack
julia
Dominio
documentation
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
1
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
GitHTML/CSS
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
85