diff options
author | Martin Storsjö <martin@martin.st> | 2019-02-21 11:18:52 +0300 |
---|---|---|
committer | Martin Storsjö <martin@martin.st> | 2019-02-21 12:02:38 +0300 |
commit | 03f424e45df119bf52cb603854fe4d12c93dcdc5 (patch) | |
tree | ce64bf63bfb1735dcd92762bd1992fa2ef196011 | |
parent | 1ba8423af918c66c8bc9e757f6eb75524b9aeaba (diff) |
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.
-rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 41fcab5..b206c40 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -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)"; |