Update description of DOCUMENTER_KEY to 'Repository secret'

JuliaDocs / DocumenterTools.jl

Extra tools for setting up Documenter

Other

30 stars 19 forks source link

Update description of DOCUMENTER_KEY to 'Repository secret' #85

Closed abelsiqueira closed 8 months ago

abelsiqueira commented 9 months ago

The new GitHub UI shows "Secrets" and "Variables" as two different tabs, and there are "Environment secrets" and "Repository secrets", and we want the latter. This caused some confusion among colleagues new to Julia and GitHub, so I think the changes are warranted.

I think this closes #84.

Here is a screenshot of the '../settings/secrets' page: