When Develop Branch is Messed Up

• rename local develop
• create new develop branch from remote master
• force push new develop to remote develop : git push -f origin develop

-f is shortcut for --force