#git

A file the agent deleted stayed in my pull request

The code that copied an agent's sandbox work into a pull request only knew how to upload files, so anything the agent removed stayed on the branch. Now deletions get their own lookup and delete step, though renames and tests are still open.