chiark / gitweb /
dgit(1): --overwrite: say in title that it's optional