I reset a git branch by doing the following:
git reset --hard someid
then I cherry picked some commits onto it, and pushed it to the remote like this:
git push --force origin develop
This was all fine, but now a collegue did a git pull, made a commit, did a push and now the stuff I removed with the reset is back.
What should I or we have done differently after the reset?