Force local repo to Github (paths must be set)
git push -f origin master
Squashing
git checkout develop
git merge --squash feature/...
git commit -am '#issue comment'
git push origin develop
Force local repo to Github (paths must be set)
git push -f origin master
Squashing
git checkout develop
git merge --squash feature/...
git commit -am '#issue comment'
git push origin develop