Fabian Koller eb6153c5aa Change CI ref from merge to head ... At this time in the CI, merge is not accessible from tree https://github.community/t/github-sha-but-how-to-get-the-latest-commit-reference-on-a-branch/17160		2021-01-31 12:00:41 +01:00
..
ISSUE_TEMPLATE	Update issue templates	2021-01-27 11:32:30 +01:00
workflows	Change CI ref from merge to head	2021-01-31 12:00:41 +01:00