git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fbd458a)
Correct documentation for git-push --mirror
authorShawn O. Pearce <redacted>
Sat, 21 Jun 2008 03:25:25 +0000 (23:25 -0400)
committerJunio C Hamano <redacted>
Sat, 21 Jun 2008 07:02:45 +0000 (00:02 -0700)
commit73f03627f4f1b0f66b30fa96a25537f3600cce0b
treec036049758751f5fe43d2ec862c63877d711a180tree | snapshot
parentfbd458a3f6bf2ba94380e2170ebfe2f53c2dec6dcommit | diff
Correct documentation for git-push --mirror

This option behaves more like:

  git push $url +refs/*:refs/*

than it does like:

  git push $url +refs/heads/*:refs/heads/* +refs/tags/*:refs/tags/*

so we should document it to be more clear about that.

Suggested-by: Marek Zawirski <redacted>
Signed-off-by: Shawn O. Pearce <redacted>
Signed-off-by: Junio C Hamano <redacted>
Documentation/git-push.txt diff | blob | history
git clone https://git.99rst.org/PROJECT