#!/bin/bash set -e -o pipefail RUNDIR=$(dirname "$0") TOP=${RUNDIR}/.. . "${RUNDIR}/reltools.subr" update_authors() { PREV=$(get_most_recent_reltag) NEW_AUTHORS=$( git log -r ${PREV}..HEAD | grep Author: | sed -e's/Author: //' ; cat "${TOP}/AUTHORS" ) echo "${NEW_AUTHORS}" | sort -u > "${TOP}/AUTHORS" }