Ondřej Budai 8c4689f082 workflows: mark the working directory safe for git ... Github actions have a peculiar behaviour: The "job root" directory is owned by user with ID 1001 whereas many containers (like the Fedora one) run as root by default. This causes git to freak out because repositories owned by different users aren't considered safe anymore and must be explicitly allow- listed. This becomes a problem when we switch to Go 1.18 because it stamps build with Git information which fails because the repository technically isn't safe. Let's fix this by marking the repository as a safe one. Note that the actions/checkout action has a set-safe-directory feature, but this one is not permanent. After the action is done, the setting is removed. See https://github.com/actions/checkout/pull/762 Signed-off-by: Ondřej Budai <ondrej@budai.cz>		2023-01-06 11:34:50 +01:00
..
ISSUE_TEMPLATE	github: create issue template	2021-05-24 12:04:36 +03:00
workflows	workflows: mark the working directory safe for git	2023-01-06 11:34:50 +01:00
dependabot.yml	schedule depandabot checks	2021-09-03 15:32:36 +02:00
PULL_REQUEST_TEMPLATE.md	ci: skip CI for draft and WIP PRs	2022-03-08 11:53:09 +01:00