Merge branch 'tor-github/pr/1901'

[tor.git] / changes / ticket33451

  o Minor features (developer tools):
    - Add a script ("git-install-tools.sh") to install git hooks and helper
      scripts.  Closes ticket 33451.