Each submitted code has a unique commit id
(version number), as shown in the figure below, of course, you can also find it in git log .
Roll back to the specified version:
git reset --hard b498237e6dc1fc4861c79d3314d07285995b
Mandatory submission:
git push -f origin develop