So first we switch to the branch we want to use.
Git branches -av view all branches.
Switch branch git checkout branch name
Use git log-10 to view the latest 10 submission. Find the corresponding submission id, and the first six are enough by default. He will find a match.
git check out 6572 b 12 14
Add after modifying this branch. then what Submit. submit. ? It is impossible to push at this time. You will be prompted to submit to the remote branch first.
Git pushes the original nod:< remote branch name & gt
And if you use the new branch name of git push origin, you will also get an error. You will get an error: some references cannot be pushed to XXX.
Because you use the remote free branch locally, you need to create a new local branch to bind git checkout first. -b new branch name
And then submit it to the new remote branch. Git pushes origin origin_new_branch_name?
That's enough. The original branch will not be lost.