8b19b6107a
[web] Add rename option to project tools GitOrigin-RevId: 5bf622609e612e27c77c4e5e11d64fdad1bb47b4
[web] Add rename option to project tools GitOrigin-RevId: 5bf622609e612e27c77c4e5e11d64fdad1bb47b4