I have two branches in my repository: master and devel. I tried to merge devel into master but got the error fatal: refusing to merge unrelated histories
.
On github, the master branch contains some files that I do not care about and do not need to merge. I do not need to keep the history of the master branch, I simply want to replace master with what is on devel.
Once I get devel updated to master, I need to tell my partner how to pull master without merging into his old local copy of master.
What I am considering doing is using advice from this post and running:
git branch -m master old-master
git branch -m devel master
git push -f origin master
git branch -d old-master
Do you think this will work? What should I tell my partner in order for him to get the latest copy of master once this is done?