JuliaDocs/Franklin.jl
View on GitHubAdd in deploy documentation for GitHub that now need to explicitly pick `gh-pages`
Open
#736 opened on Dec 18, 2020
docseasygood first issue
Repository metrics
- Stars
- (1,060 stars)
- PR merge metrics
- (Avg merge 71d 9h) (4 merged PRs in 30d)
Description
It used to be done automatically but not anymore it seems. So basically:
- push
- go to repo settings,
gh-pagesand pickgh-pageswith root: