This info is based largely on this stack overflow post .
First, clone your repository locally :
Once this is done, change into the local repository directory and run the following command to find out which users you need to change :
Create a shell script in the same directory with the following contents (thanks Dec!):
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
Obviously change user1, “User One” etc so the script reflects the users you want to change. Run the script (which might take a few minutes), and everything should be sorted out on the local copy.
Next, you want to push these changes to your master repository. Normally you would git push , but in this case you get an error something like :
For reasons I don’t really understand after only a couple of days of git usage, you need to pull from the remote repository again before you can push the changes :
1 2 3 4 5 6 7 8 9
Now (with a bit of luck) everything should be sorted out. If anyone knows off the top of their head why the git pull is necessary I’d be interested to know!