Make "Test with:" support branches also about ci-actions

[lsf37]

That is probably easy to add, and would be useful, yes.

Does this add any new security considerations? So far, a PR must have been raised for the target to be included. Pretty much anyone can do that (apart from blocked users). So the new scope is someone pointing to some branch in a different org they control, but if they are a first-time contributor the tests have to be manually approved first anyway, so I think this is fine.

[axel-h]

Looking at https://github.com/seL4/ci-actions/pull/217/files, this could also support hashes. This feature might come for free if this is implemented with the standard git tools. Otherwise is should implement the same behavior, that matching a branch name take preference over matching a commit id.

[lsf37]

It'll not be entirely free, because constructing the ref for a PR is a bit special, but it could be done relatively easily. The relevant lines in scripts/fetch-extra-prs.sh are these:

ci-actions/scripts/fetch-extra-prs.sh

Lines 29 to 34 in 2416319

	REF="refs/pull/${ID}/head"
	cd $(repo-util path ${REPO})
	echo "Fetching ${REF} from ${REPO_PATH}"
	git fetch -q --depth 1 ${URL} ${REF}:${REF}
	git checkout -q ${REF}

We'd need to do something similar as in fetch-branch.sh to distinguish pulling a sha from pulling a ref:

ci-actions/scripts/fetch-branch.sh

Lines 33 to 45 in 2416319

	elif [ -n "${GITHUB_SHA}" ]
	then
	REF=${GITHUB_SHA}
	FETCH=${REF}
	# if nothing better is available, use GITHUB_REF
	else
	REF=${GITHUB_REF}
	FETCH=${REF}:${REF}
	fi
	echo "Fetching ${REF} from ${REPO_PATH}"
	git fetch -q --depth 1 ${URL} ${FETCH}
	git checkout -q ${REF}