chiark / gitweb /
Support dgit --delayed= push