Some profiling changes to GitDestination
Some profiling changes to GitDestination

Add more information about time spent in fetch and push.

Make getLocalRepo public. We need to use this internally for skipping
push and then doing a manual push at the end.

BUG=67894263

Change-Id: Ibbf6a9a4303d0277eba420e3e78525221d0f9979

google/copybara,google/copybara,google/copybara