tree 3cbb45102a08c2357c26c364a951b6a750f91063
parent 6d7a3e3a0d5399e1628dffc04833b25ce2c272f0
author Philipp Wollermann <philwo@google.com> 1523131920 +0200
committer Philipp Wollermann <philwo@google.com> 1523132924 +0200

Replace gerrit-github-sync with newer gitsync container.