| commit | 9d04b98d2bf78709a33ee4dee3032de948380920 | [log] [tgz] |
|---|---|---|
| author | Philipp Wollermann <philwo@google.com> | Sat Apr 07 22:12:00 2018 +0200 |
| committer | Philipp Wollermann <philwo@google.com> | Sat Apr 07 22:28:44 2018 +0200 |
| tree | 3cbb45102a08c2357c26c364a951b6a750f91063 | |
| parent | 6d7a3e3a0d5399e1628dffc04833b25ce2c272f0 [diff] [blame] |
Replace gerrit-github-sync with newer gitsync container.
diff --git a/gitsync/ssh_config b/gitsync/ssh_config new file mode 100644 index 0000000..4db8851 --- /dev/null +++ b/gitsync/ssh_config
@@ -0,0 +1,5 @@ +Host github.com + Hostname github.com + User git + IdentityFile /home/gitsync/.ssh/id_rsa + IdentitiesOnly yes