Commit ae5bdd9b authored by Jan Kiene's avatar Jan Kiene
Browse files

remove unnecessary pull

commit is checked on the remote ref anyway
parent 4a4f9bb0
Loading
Loading
Loading
Loading
+0 −1
Original line number Diff line number Diff line
@@ -60,7 +60,6 @@ pushd "${SCRIPTS_DIR}"
git remote set-branches --add origin "$float_ref_branchname_in_ivas_codec"
git fetch origin "$float_ref_branchname_in_ivas_codec"
git checkout "$float_ref_branchname_in_ivas_codec"
git pull

MERGE_SOURCE_FLOAT_REF_COMMIT="$(git rev-parse "origin/$float_ref_branchname_in_ivas_codec")"
FLOAT_REF_COMMIT="$(git rev-parse "origin/main")"