ref: 03f424e45df119bf52cb603854fe4d12c93dcdc5
parent: 1ba8423af918c66c8bc9e757f6eb75524b9aeaba
author: Martin Storsjö <[email protected]>
date: Thu Feb 21 05:18:52 EST 2019
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.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,9 @@
- 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)";