Dennis Kempin 9a50dfbdcf infra: Fix push to github builder ... Kokoro would maintain a local main branch in the local checkout, so pushing --all will push the latest HEAD of main. Luci will instead put us on a detached HEAD, with the local main branch unmaintained. So we have been pushing the same old version of crosvm. Update the force push to submit HEAD to the remote main. BUG=b:233913820 TEST=./recipes.py run push_to_github (requires authentication with github to run) Change-Id: I8282498382968768d66d9c807b9e86d191977beb Reviewed-on: https://chromium-review.googlesource.com/c/chromiumos/platform/crosvm/+/3681989 Reviewed-by: Daniel Verkamp <dverkamp@chromium.org> Tested-by: kokoro <noreply+kokoro@google.com>		2022-06-01 22:05:04 +00:00
..
push_to_github.sh	infra: Fix push to github builder	2022-06-01 22:05:04 +00:00