tree c16b67f3c650b3c44a9e71dc23a3e0a17199cd9c
parent 147594661204e5cd18f2b30ab441d8e921f9412d
author Stephen Shirley <sshirley@wikimedia.org> 1586873684 +0200
committer Stephen Shirley <sshirley@wikimedia.org> 1586877127 +0200

Simplify manual ssh host key checking

Also:
- Add 'Port 29418' to gerrit.wikipedia.org ssh_config entry, to simplify
  usage for users.
- Add .gitreview config for gerrit

Change-Id: I8972112d2ec75922c0f653d14b4e0f63151c8066