I just realized that my coworker has merged my feature branch into the master branch in Github, while I have been continuing working on my feature branch on my local machine since his merge. Now I have just git add some new changes on the feature branch, without git commit yet.
If I realized that immediately when he made the merge, I would have pulled the master and then create a new feature branch and work on the new feature branch.
What shall I do now? Will the answer be different, depending on whether I have run git add, git commit, or git push?
Thanks.