[geogig-dev] fixing headers

[Jody Garnett <jgarnett@xxxxxxxxxxxxxxxx>]

Gabriel asked me to look at fixing up the headers (to correctly list which authors/organisations) worked on each file.

Stack exchange has a partial answer - short listing which file each user has worked on. Since we have a small number of committers this will probably be fine?

git log --no-merges --stat --author="Pattern" --name-only --pretty=format:"" | sort -u

My rough strategy is to bulk replace the headers, and then use queries like the above to fill in the appropriate organisation.

I probably need to do a second query to figure out when files were added, according to stack exchange the following will work:

for file in `git ls-files`

do

    HASH=`git rev-list HEAD $file | tail -n 1`

    DATE=`git show -s --format="%ci" $HASH --`

    printf "%-35s %s\n  %s\n" $file $HASH: "$DATE"

done

I will try these two automated approaches, but may need to ask the dev list here to untangle which github ID belongs to which individual (and thus what organisation to list in the header).

This is not my first time to the rodeo - here are the notes from updating geoserver headers.

--
Jody Garnett
Senior Software Engineer | Boundless
jgarnett@xxxxxxxxxxxxxxxx
877-673-6436
@jodygarnett