Great! Thanks a lot for you and Eli's effort on this.
2016-09-04 23:35 GMT+08:00 Hongbin Lu :
> Hi all,
>
>
>
> This is an important announcement. Last Friday, the infra team completed
> the project renaming from Higgins to Zun [1]. The project name in Gerrit
> and Git (Github) is changed. It is
Hi all,
This is an important announcement. Last Friday, the infra team completed the
project renaming from Higgins to Zun [1]. The project name in Gerrit and Git
(Github) is changed. It is expected that things with the old name might not
work anymore. For example, if you clone the git repo in b
