Thanks Shawn. They were doing repo sync which was not getting the
changes. I had to change the default.xml file to point to the mirror
branch and remove existing revisions to use the default revision
pointing to the branch and things seem to work now.
On Dec 7, 7:11 am, Shawn Pearce <
s...@google.com> wrote: