git update remote server after repo rollback

git update remote server after repo rollback

was working on master when should have been on a branch, so I made a
branch & then rolled back to the last good commit with:
git reset --hard <commit_id>
I then pushed master with:
git push origin master -f
This leaves my repo in correct condition - I can see it is all correct on
my gitlab page & when I pull locally it is correctly up-to-date
I have a development server that is currently on branch "master" & I am
now trying to "pull the reset" for lack of the correct expression - set it
back to where my local machine is. However, any fetches or pulls all
result in it telling me that I'm already up-to-date
From dev server git branch -a
* master
remotes/origin/master
What is the correct procedure here?
TIA