Use `Remotes.GitHub` when building docs to show link to repo in navbar

JoshuaLampert / DispersiveShallowWater.jl

Structure-preserving numerical methods for dispersive shallow water models

https://joshualampert.github.io/DispersiveShallowWater.jl/

MIT License

15 stars 3 forks source link

Use `Remotes.GitHub` when building docs to show link to repo in navbar #83

Closed JoshuaLampert closed 9 months ago

JoshuaLampert commented 9 months ago

There are warnings when building the docs because Documenter.jl is unable to determine the repo URL. Using Remotes.GitHub should fix this so that the link to the repo is shown in the upper right in the documentation.

ranocha commented 9 months ago

You need to merge this manually since some required checks don't run for pure docs changes like this. (I don't have the rights to force-merge this PR)