git revert

git revert: a task in scrivania-harbor (Harbor dataset). Do not rewrite history: a new commit must undo the changes. In the Projects/agenda repository undo the last commit with git revert.