Martin Kojtal ad15f0a7dc github action: add git safe directory ... Where we use git commands directly, we need to add safe directory. This is because the recent git changes introduced, for details visit: https://github.com/actions/checkout/issues/766		2022-04-20 11:18:27 +01:00
..
workflows	github action: add git safe directory	2022-04-20 11:18:27 +01:00
issue_template.md	Update .github/issue_template.md	2021-03-15 15:35:52 +00:00
pull_request_template.md	Remove unecessary text and reinstate sub headings	2019-11-22 12:10:21 +00:00