Merge branch 'es/bugreport-shell'
authorJunio C Hamano <gitster@pobox.com>
Tue, 9 Jun 2020 01:06:28 +0000 (18:06 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 9 Jun 2020 01:06:28 +0000 (18:06 -0700)
commitce095ecfe49791508860fc180bf67924d62503ba
tree94a52fd1e84ab3e2974a8b9d58f93e058ef85f95
parentdc57a9be5ee2f9c719965a9e6c7a2ed97af180a1
parent4a4804edf4d5f96407fc46eda802a3b29d991e33
Merge branch 'es/bugreport-shell'

"git bugreport" learns to report what shell is in use.

* es/bugreport-shell:
  bugreport: include user interactive shell
  help: add shell-path to --build-options
Documentation/git-bugreport.txt