We had a developer quit last week so I did the most logical thing, I started deleting their access to our systems. Website login - check, QuickBooks login - check, email - check, GitHub - check. Then I started working on trying to finish some of the pull requests that he had outstanding.

That's okay there must be a conflict.

Well this doesn't look good.

I was able to pull down the patch manually and apply it but I kept running into conflicts that required I manually merge the patch files. I would highly recommend you at least download any pull request branches before you delete the user's access because the normal 10 second process of downloading it into my local repo ended up taking about an hour (there was a lot of going back and forth on this issue) using the git am process.