Krzesimir Nowak 522749197c .github: Add a script for figuring out a branch from channel name
It will be used for deduplicating the github workflows.
2022-10-18 11:32:10 +02:00
..