diff options
| author | Kieran Bingham <kieran.bingham@ideasonboard.com> | 2021-08-16 16:16:42 +0100 |
|---|---|---|
| committer | Kieran Bingham <kieran.bingham@ideasonboard.com> | 2021-08-16 16:16:45 +0100 |
| commit | ea527b3e4dfe86661f2b00db889c0c7c07706014 (patch) | |
| tree | 308eb4a622781224c8474e08228f3910a0076255 | |
| parent | 456dfc9b18fedf1baf4f04cfcbb5d7b4ebb41fcd (diff) | |
ci: update-mirrors: Force push to ensure consistent mirroring
The mirrors should be updated even in the worst case.
This also includes if something goes wrong, but this shouldn't ever
occur, and is likely to have involved manual intervention.
Signed-off-by: Kieran Bingham <kieran.bingham@ideasonboard.com>
| -rwxr-xr-x | 02-update-mirrors.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/02-update-mirrors.sh b/02-update-mirrors.sh index 350b3c9..1520134 100755 --- a/02-update-mirrors.sh +++ b/02-update-mirrors.sh @@ -15,7 +15,7 @@ echo "Mirroring libcamera at version : " $(libcamera_version "$LIBCAMERA") sed -e '/#.*/d' -e '/^$/d' libcamera-mirrors | while read remote ; do echo "Mirroring to remote : " $remote - git -C $LIBCAMERA push $remote master:refs/heads/master + git -C $LIBCAMERA push -f $remote master:refs/heads/master done completed $ID |