Adds copyright notice in sync-github-repos