chore: changing ref to repo after its renaming

also formatting and update the check_license script to match that
This commit is contained in:
youben11
2022-01-05 10:23:51 +01:00
committed by Ayoub Benaissa
parent 58e02fd035
commit 2009ee1c94
127 changed files with 245 additions and 245 deletions

View File

@@ -12,8 +12,8 @@ for file in $files
do
cmp <(head -n 4 $file) <(echo "// Part of the Concrete Compiler Project, under the BSD3 License with Zama
// Exceptions. See
// https://github.com/zama-ai/homomorphizer/blob/master/LICENSE.txt for license
// information.") || print_and_exit $file
// https://github.com/zama-ai/concrete-compiler-internal/blob/master/LICENSE.txt
// for license information.") || print_and_exit $file
done
# Ignore python package namespace init file
@@ -22,5 +22,5 @@ files=$(find ./compiler/{include,lib,src} -iregex '^.*\.\(py\)$' ! -path ./compi
for file in $files
do
cmp <(head -n 2 $file) <(echo "# Part of the Concrete Compiler Project, under the BSD3 License with Zama Exceptions.
# See https://github.com/zama-ai/homomorphizer/blob/master/LICENSE.txt for license information.") || print_and_exit $file
# See https://github.com/zama-ai/concrete-compiler-internal/blob/master/LICENSE.txt for license information.") || print_and_exit $file
done