Leo cf3f6def68 .github: include workflow name in concurrency ID ... This hopefully fixes PRs failing as "cancelled". Drive-by cleanup old branch name while we're at it. commit-id:ec0076e0		2022-02-08 12:41:48 +01:00
..
workflows	.github: include workflow name in concurrency ID	2022-02-08 12:41:48 +01:00