Based on thisthis answer, you need the following procedure:
- Stash your local changes using
git stash
- Pull from remote repository using
git pull
- Merge your stashed configuration file using
git stash pop
Of course, if there are changes in the configuration.h
file on the remote repository and cause conflicts, you will need to resolve them, but it should be straight forward.