[PATCH 0/3] request-pull: write to file option

Currently, `git request-pull` only outputs PR message to stdout. Users wished to send the message have to use shell redirection to file. Add the option to write it to user-specified file.

Bagas Sanjaya (3):
  request-pull: introduce display_message() function
  request-pull: add -o/--output option
  request-pull: document -o/--output

 Documentation/git-request-pull.txt | 16 +++++-
 git-request-pull.sh                | 81 +++++++++++++++++++++---------
 t/t5150-request-pull.sh            | 13 +++++
 3 files changed, 83 insertions(+), 27 deletions(-)

base-commit: cefe983a320c03d7843ac78e73bd513a27806845