ci: add copyright notices to ci files #89

GaloisInc · Jul 8, 2024 · 8f93fbb · 8f93fbb
1 parent 4f651c4
commit 8f93fbb
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/.github/workflows/copyright_check.yml b/.github/workflows/copyright_check.yml
@@ -1,3 +1,9 @@
+# Checks that every updated file has an appropriate copyright notice.
+#
+# @copyright Galois, Inc
+# @author Marcella Hastings <marcella@galois.com>
+#
+
 name: Copyright check
 on:
   pull_request:

diff --git a/scripts/check_copyright.sh b/scripts/check_copyright.sh
@@ -1,9 +1,14 @@
 #!/bin/bash
+# Checks that every file indicated has an appropriate copyright notice.
+#
+# @copyright Galois, Inc
+# @author Marcella Hastings <marcella@galois.com>
+#
 
 COPYRIGHT="@copyright Galois"
 AUTHOR="@author .*@galois.com>"
 
-# The get-changed-files Github Action requires filenames have no spaces in them.
+# I think this will fail if any file names have spaces in them
 FILES=$@
 echo -e "Checking the following files: $FILES"