In this case, you need to use the git log command to find the submission id of the submission you want to delete in the history. For example, the commit id of the submission with the comment "2" in the figure below is circled (it can be seen that the submitted comment is very important and must be written carefully).

Then execute the following command (the "submission id" is replaced by the "submission id" of the submission you want to delete, and you need to pay attention to the last symbol, indicating the last submission of the submission id):

Gitbase-i "submission id"

After executing this command, an edit box will open, displaying the following contents, which lists all submissions after this submission.

Then delete the submission line you want to delete in the edit box, and then save and exit. If there is any conflict, you need to resolve it. Next, execute the following command to submit the local repository to the remote repository.

Git push source host -f