-
Simon McVittie authored
Github accepts HEAD as meaning whatever branch is the default, so we do not need to specify a branch name explicitly. This means we're insulated from a possible rename of the master branch in these projects to main. Signed-off-by:
Simon McVittie <smcv@collabora.com>
Simon McVittie authoredGithub accepts HEAD as meaning whatever branch is the default, so we do not need to specify a branch name explicitly. This means we're insulated from a possible rename of the master branch in these projects to main. Signed-off-by:
Simon McVittie <smcv@collabora.com>