Update AUTHORS according to git history