chiark / gitweb /
dgit: Option parsing: Move pushing call in push