[PATCH v2 0/8] implement cherry-picking many commits

This a patch series to implement cherry-picking and reverting many commits instead of just one.

There is still no way to continue or abort the process when cherry-picking or reverting fails, but this can be implemented later.

Changes since the previous series are the following:
- fixed some memory leaks, thanks to Jonathan Nieder
- improved documentation, thanks to Jonathan, Ram and Antriksh
- small fixup to use (void) instead of (), thanks to Junio

Christian Couder (8):
  revert: cleanup code for -x option
  revert: use run_command_v_opt() instead of execv_git_cmd()
  revert: refactor code into a do_pick_commit() function
  revert: change help_msg() to take no argument
  revert: allow cherry-picking more than one commit
  revert: add tests to check cherry-picking many commits
  Documentation/cherry-pick: describe passing more than one commit
  Documentation/revert: describe passing more than one commit

 Documentation/git-cherry-pick.txt   |   64 +++++++++++++++---
 Documentation/git-revert.txt        |   51 +++++++++++----
 builtin/revert.c                    |  120 +++++++++++++++++++++++------------
 t/t3508-cherry-pick-many-commits.sh |   95 +++++++++++++++++++++++++++
 4 files changed, 264 insertions(+), 66 deletions(-)
 create mode 100755 t/t3508-cherry-pick-many-commits.sh