Closed claesrosell closed 2 years ago
This commit tries to remedy that by reverting some parts of it.
This PR compiles but fails on "Deploy Github pages" because of permission problems. I guess that deployment of the site should not even run on PRs.
This commit tries to remedy that by reverting some parts of it.