You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Feb 26, 2023. It is now read-only.
Repository navigation
This repository was archived by the owner on Feb 26, 2023. It is now read-only.
updated the copyright header for files changed in recent PRs #1955
#!/bin/bash
FILES=`git diff --name-only HEAD 5ea91f453d4b1ec3d3f3d08447b419a668f97c71`forfin$FILESdo# take action on each file. $f store current file name
hasCopyright=$(grep "Copyright ("$f2>&-)if [ $?-eq 0 ];then
hasAACopyright=$(echo "$hasCopyright"| grep "the AndroidAnnotations project")if [ $?-ne 0 ];thenecho"$f"# echo "$hasCopyright"# echo "$hasAACopyright"fifidone
this (SHOULD!) list all files that have been modified since commit 5ea91f4 but are missing our new copyright header.
copyright missing for some files changed in:
maybe more?