This is not recommended, since this will break local copies on other developpers machine, but it is possible.
First, reset your local branch to the desired commit
git checkout develop
git reset --hard 21fd53a
Then, push this on remote server (GitHub) using --force
modifier to explicitely indicate that you want to force this destructive action
git push --force origin develop
The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.