path: root/docid

#!/bin/sh

set -eu

git log "$1" | sed '/^$/,$d' | sed -n '/^Date: */s///p'