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.
Activity
dodgex commentedon Feb 19, 2017
this (SHOULD!) list all files that have been modified since commit 5ea91f4 but are missing our new copyright header.
dodgex commentedon Feb 19, 2017
the output of the script
WonderCsabo commentedon Feb 19, 2017
@dodgex can you open a PR which updates these files?
dodgex commentedon Feb 20, 2017
done