chiark / gitweb /
dgit-*(7): --deliberately-not-fast-forward for first dgit push