# git log --pretty='format:%ae %an' | tac | awk -f tools/updateAuthors.awk
{
  if (!x[$1]++) {
    #print $0
    n = split($0, a, " ");
    s = a[2];
    for (i = 3; i <= n ; i++) {
      s = s " " a[i];
    }
    print s " <" $1 ">";
  }
}