Fixes dubious repository ownership error when building GitHub Pages
Recently the GitHub Pages workflow started to throw an error related to Git's safe directory config. This is not happening with the GitLab workflows, so it may be unrelated with the python:3.8-bullseye
image, and probably has to do with GitHub specifics.
The proposed changeset fixes the error by:
- Setting
set-safe-directory
at the checkout action config. - Introducing a
ONION_LAUNCHPAD_SET_SAFE_DIRECTORY
environment variable. When it is set to "1", the build script will include the Onion Launchpad working copy path into the user's Git safe directory list.
Actually only 2 fixed the issue, but I leave 1 here for evaluation (and we can remove it if does not makes sense).
Closes #74 (closed).