testing CI branch selection

Please ignore this trivial change. It is used to verify the CI
configuration, which should now select the branch depending on the
commit.