Merge branch 'sg/trace2-rename'
authorJunio C Hamano <gitster@pobox.com>
Thu, 30 May 2019 17:50:45 +0000 (10:50 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 30 May 2019 17:50:45 +0000 (10:50 -0700)
Rename environment variables that are used to control the "trace2"
mechanism to a more readable name.

* sg/trace2-rename:
trace2: document the supported values of GIT_TRACE2* env variables
trace2: rename environment variables to GIT_TRACE2*

Trivial merge