Wrong level File object for successful delete.

Because the File object passed to the deleteGitRepository() routine was
parent instead of the respository to be deleted, the move and delete
would usually simply fail to happen.  Untested, but it could have been
a VERY serious problem with git repos that were not directly under the
git root, as the code would wind up deleting the parent instead of the
target repo, which could delete multiple repos if there were siblings at
2nd or lower levels.

Problem was introduced in change
bc4834c0eac09a97c271fda0b1e006426d8bc135

Change-Id: I0b0859d59bde2d8eaba681a6d68d2d2ceeacf84c
1 file changed
tree: 603642cd26616b87db0bcafaefd4d611eab6ebe0
  1. .settings/
  2. lib/
  3. src/
  4. .buckconfig
  5. .gitignore
  6. BUCK
  7. pom.xml
  8. VERSION