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 /.gitlab-ci.yml | |
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.
Diffstat (limited to '.gitlab-ci.yml')
-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)"; |