The repos API has a patch method to update a repo in the workspace (to do a git pull).
We would please like to verify: is this method fully synchronous? Is it guaranteed to only return a 200 after the update is complete? Or, would immediately referencing the code after an update cause a race condition?
