Commit 03f424e4 authored by Martin Storsjö's avatar Martin Storsjö

ci: Cope with the fact that the "upstream" remote might already exist

Remove the old "upstream" remote if set, to make sure it points to the
right repo.
parent 1ba8423a
......@@ -11,7 +11,9 @@ style-check:
- amd64
script:
- git grep -n -P "\t|\r| $" -- . ':(exclude)*/compat/*' && exit 1
- git remote add upstream https://code.videolan.org/videolan/dav1d.git && git fetch -q upstream master
- git remote rm upstream 2> /dev/null
- git remote add upstream https://code.videolan.org/videolan/dav1d.git
- git fetch -q upstream master
- for i in $(git rev-list HEAD ^upstream/master); do
echo "Checking commit message of $i";
msg="$(git log --format=%B -n 1 $i)";
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment