chiark / gitweb /
Push reorg: Move ff check out of cmd_push into dpush (nfc)