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] |
Replace gerrit-github-sync with newer gitsync container.