tree 372f6751be6b5cfbc8cd9a944918612afcfca173
parent 7e3ead13e526f67d528e3eea50b1441bdccb62f8
parent 099024861021830f9d4c7db4c64c844bf9d5ebd9
author Junio C Hamano <gitster@pobox.com> 1302111494 -0700
committer Junio C Hamano <gitster@pobox.com> 1302111494 -0700

Merge branch 'jk/maint-remote-mirror-safer'

* jk/maint-remote-mirror-safer:
  remote: deprecate --mirror
  remote: separate the concept of push and fetch mirrors
  remote: disallow some nonsensical option combinations