chiark / gitweb /
dgit: push-source dies if user tried to include uncommitted changes