1
0

Merge remote-tracking branch 'dinsic/dinsic' into dinsic-release-v1.1.0

This commit is contained in:
Andrew Morgan
2020-02-10 16:37:49 +00:00
78 changed files with 2109 additions and 208 deletions

View File

@@ -5,9 +5,9 @@
set -e
# make sure that origin/develop is up to date
git remote set-branches --add origin develop
git fetch origin develop
# make sure that origin/dinsic is up to date
git remote set-branches --add origin dinsic
git fetch origin dinsic
# if there are changes in the debian directory, check that the debian changelog
# has been updated