util/board_status: Fetch and rebase after failed push
Currently, when the remote master branch of the board-status
repository changes between cloning and pushing, `git push origin`
This race condition happens quite often with REACTS testing commits at
the same time on different systems.
If that happens, just download the objects and refs from the
board-status repository and rebase the local changes on it. Try that
three times before exiting with an error message.
Helped-by: Timothy Pearson <firstname.lastname@example.org>
Helped-by: Patrick Georgi <email@example.com>
Signed-off-by: Paul Menzel <firstname.lastname@example.org>
Reviewed-by: Patrick Georgi <email@example.com>
Tested-by: build bot (Jenkins)
Reviewed-by: Timothy Pearson <firstname.lastname@example.org>
1 file changed