tree 601989ba35ead701f662150058481f3b06db7527
parent f082dbdf938b31d028d002a05882fcaab9660e2d
author Paul Jolly <paul@myitcv.io> 1592224025 +0100
committer Paul Jolly <paul@myitcv.org.uk> 1592225296 +0000

ci: use cueckoo to create the temporary build branch

It transpires that the GITHUB_TOKEN that is made available by default in
repository builds cannot create a branch that varies a workflow file.
Hence we need to create the temporary build branch using a generic
account; we choose cueckoo.

This does mean, however, that we need to be careful when it comes to
running the trybots on changes from others that modify the workflow
files.

Change-Id: I1c2a984b3c908cb7ff3d2f2183c408fc0aba8ebe
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/6328
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>