garble/scripts/ensure-copyrights.sh

#!/bin/bash

for f in $(git ls-files '*.go'); do
	if ! grep -q Copyright $f; then
		sed -i '1i\
// Copyright (c) 2020, The Garble Authors.\
// See LICENSE for licensing information.\

' $f
	fi
done
set up an AUTHORS file to attribute copyright Many files were missing copyright, so also add a short script to add the missing lines with the current year, and run it. The AUTHORS file is also self-explanatory. Contributors can add themselves there, or we can simply update it from time to time via git-shortlog. Since we have two scripts now, set up a directory for them. 5 years ago			`#!/bin/bash`

			`for f in $(git ls-files '*.go'); do`
			`if ! grep -q Copyright $f; then`
			`sed -i '1i\`
			`// Copyright (c) 2020, The Garble Authors.\`
			`// See LICENSE for licensing information.\`

			`' $f`
			`fi`
			`done`