summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--copyright-exceptions1
-rw-r--r--pipelines/get_sources.ick5
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"