commit bd944eeda47a075a99307063a5e1cb54811791d2
author Jerome Forissier <jerome@forissier.org> Tue Jul 20 01:01:09 2021 +0200
committer Jérôme Forissier <jerome@forissier.org> Tue Jul 20 14:00:17 2021 +0200
tree 0e85f38177f87b9376ef314a1a9d2a82f18d1434
parent 235834c4022973e26c0cf93abca31af0574d1ee3

ci: azure: run 'git pull' to update repo tool before 'repo sync'

Update the repo tool to the latest commit on the 'stable' branch before
running 'repo sync' (the 'default' local branch tracks 'stable').
Fixes the following error [1]:

 sudo -E bash -c "cd /root/optee_repo_qemu_v8 && repo sync -j 10"
 project .repo/manifests/
 Updating 7b69f4f..30fb9a8
 Fast-forward

 info: A new version of repo is available
 warning: repo is not tracking a remote branch, so it will not receive updates
 repo: Updating release signing keys to keyset ver 2.3
 repo reset: error: Entry 'docs/manifest-format.md' not uptodate. Cannot merge.
 fatal: Could not reset index file to revision 'v2.16.2^0'.

Link: [1] https://dev.azure.com/OPTEE/optee_os/_build/results?buildId=855&view=logs&j=705748f3-7146-5e86-79af-1c0266d20a8c&t=d3458a7d-1a81-5639-8e63-8927d807e53a&l=23
Signed-off-by: Jerome Forissier <jerome@forissier.org>
Acked-by: Vesa Jääskeläinen <vesa.jaaskelainen@vaisala.com>
Acked-by: Jens Wiklander <jens.wiklander@linaro.org>