title: How to push a particular file to git repository, while the local commit is not in sync with remote repository
body: <p>I was trying to push a file from my local git repository to central git repository. As my local repository is not in sync with central remote repository, I am unable to push the file. My code requirement is that I can't 'git pull' the repository. I need to do a 'git push' on only one file, without doing a 'git pull'. Is it possible to do so?</p>