...
4-- Push back to the online fork
git push
5-- Mind the DB - there might be new scripts in core/sql folder 😉
Rebase your work
If you was working on a new feature in a private branch on your local (good 😋), please rebase your work onto the new develop
...
git branch my_feature_branch
2-- Reset your develop
git checkout develop
git reset --hard HEAD~3 # move develop back by 3 commits (make sure you know how many commits you need to go back)
...