tree 1b1dca6953371513653b4130c11e5b898d180e9b
parent 85fd37e47245f4c611f4a4daf6b9dd91a0b82cf5
parent 27d40a376c78764b6c013ba90009308a5cee7618
author Primiano Tucci <primiano@google.com> 1556191152 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1556191152 +0000

Merge "Infra: fix AOSP->GitHub mirror bot"