[sr-dev] git:master:4e6772d9: github/workflows: fix branch name