]> git.ipfire.org Git - thirdparty/git.git/commitdiff
projects / thirdparty / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: dc57a9b 4a4804e)
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)
"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

1  2 
Documentation/git-bugreport.txt patch | diff1 | diff2 | blob | history

diff --cc Documentation/git-bugreport.txt
Simple merge
Unnamed repository; edit this file 'description' to name the repository.