chiark / gitweb /
Improve error message for non-fast-forward push. Closes: #720896.