tree 991dacd53e987845fb79af8eca0c78af1d00baa5
parent f3e3e788687251a9d5a9f3aff29b478399d3cb11
author Zack Williams <zdw@opennetworking.org> 1563319899 -0700
committer Zack Williams <zdw@opennetworking.org> 1563319902 -0700

Use gerrit repo name when moving documentation

`repo` may checkout to other directory name

Change-Id: Id2f7bff13eebc047d19eff715d3df969db4e9535