RFR: GitRepository#revert does not work as intended

[Julian Waters]

On Sun, 25 Dec 2022 19:49:01 GMT, Julian Waters <jwaters at openjdk.org> wrote:

> The `Repository#revert` interface is meant to allow for rolling the Repository back to a specific commit, but the Git implementation in `GitRepository#revert` implements this via a checkout, which can cause issues, especially with newer versions of Git where it doesn't have any effect at all. More appropriate would be using `git restore --source` to implement the GitRepository variant instead, which is actually the encouraged way to do so nowadays

Thanks for the review Erik

-------------

PR: https://git.openjdk.org/skara/pull/1450