I ran git clone remote_url using my work account and then ran git config user.name personal_user and git config user.email personal_email to change to my personal account.
However, when I do git push origin mybranch 
    Pushing to git@github.com:whensbrunch/Surprise.git
    ERROR: Permission to repo denied to work_user.
    fatal: Could not read from remote repository.
I'm lost on how to debug this. Tried running grep in the .git repo to see if there were any unremoved mentions of work_user (there were in the logs). Also tried switching between ssh and https remote urls.
