tree 18b58df3d3d53a4f55c6ca73fd57fc4bafa1295c
parent 5e2485846dacb5acd3b6cd084e246c7c9a6d5a13
parent 9148673377367db48183a33dcc53c828df397bfc
author Junio C Hamano <gitster@pobox.com> 1362163060 -0800
committer Junio C Hamano <gitster@pobox.com> 1362163060 -0800

Merge branch 'wk/user-manual' into maint

* wk/user-manual:
  user-manual: Flesh out uncommitted changes and submodule updates
  user-manual: Use request-pull to generate "please pull" text
  user-manual: Reorganize the reroll sections, adding 'git rebase -i'