HEAD commit change of the submodule can't be discard in parent repository

[gadfly3173]

SourceGit.Commands.Discard now can only discard changes in current repo, the HEAD commit change of the submodule needs to execute git reset --hard in the submodule directory.

Reference: https://stackoverflow.com/questions/10906554/how-do-i-revert-my-changes-to-a-git-submodule

[love-linger]

You can try this from Github Actions based on commit 8378f01

[gadfly3173]

It seems good, but git restore is a new API added in git >=2.23, while Debian 10 (end of LTS on June 30th 2024) officially provides git 2.20.1. It is best to indicate this version requirement in README and other places.