my local develop branch does not match the develop branch in github code example

Example 1: git match remote master

git fetch origin
git reset --hard origin/master

Example 2: git reset hard for remote

git reset --hard <commit-hash>
 git push -f origin master # only works for unprotected branches that allow force push