My origin master and local master have diverged as below. I want to ignore the changes in origin/master and be able to push my local changes to origin master. I did git pull followed by git stash and tried to push but that did not help. I don't want to create a new commit and merge changes from origin master onto my local master.
[~/Documents/projectRepo]$ git status *[master]
On branch master
Your branch and 'origin/master' have diverged,
and have 40 and 1 different commits each, respectively.
(use "git pull" to merge the remote branch into yours)
You have unmerged paths.
(fix conflicts and run "git commit")
(use "git merge --abort" to abort the merge)
Unmerged paths:
(use "git add/rm <file>..." as appropriate to mark resolution)
deleted by us: file1.json
deleted by us: file2.json
no changes added to commit (use "git add" and/or "git commit -a")
when I do force push without doing pull, I get this:
git push -f origin master
Total 0 (delta 0), reused 0 (delta 0)
remote: error: GH003: Sorry, force-pushing to master is not allowed.
To ssh://github.com/zack/projectRepo.git
! [remote rejected] master -> master (pre-receive hook declined)
error: failed to push some refs to 'ssh://github.com/zack/projectRepo.git'