diff options
author | Lars Wirzenius <liw@liw.fi> | 2018-07-23 14:51:10 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2018-07-23 14:51:10 +0300 |
commit | cd94b9bb79ef7793ee0e828d04774607621eca3e (patch) | |
tree | c4ffe83ebe9a2b70a2cb372b28cb556589835395 | |
parent | 8efc4d3f242a1a3530167b5c76d41caa5c3b14a8 (diff) | |
download | ick2-cd94b9bb79ef7793ee0e828d04774607621eca3e.tar.gz |
Add: get_sources pipeline
-rw-r--r-- | copyright-exceptions | 1 | ||||
-rw-r--r-- | pipelines/get_sources.ick | 5 |
2 files changed, 6 insertions, 0 deletions
diff --git a/copyright-exceptions b/copyright-exceptions index f527674..28320e8 100644 --- a/copyright-exceptions +++ b/copyright-exceptions @@ -10,6 +10,7 @@ debian/dirs debian/install debian/source/format ick2/version.py +pipelines/get_sources.ick pylint.conf yarns/yarn.css without-tests diff --git a/pipelines/get_sources.ick b/pipelines/get_sources.ick index 94c72bf..caf8a03 100644 --- a/pipelines/get_sources.ick +++ b/pipelines/get_sources.ick @@ -1,3 +1,8 @@ +# Lars Wirzenius, with help from Daniel Silverstone. +# +# Feel free to use this as you wish. It is simple enough that it is +# probably not even copyrightable. + pipelines: # Get sources from git servers, as specified in the "sources" |