git restore

git restore: a task in scrivania-harbor (Harbor dataset). The other uncommitted changes must stay. In the Projects/agenda repository discard the local changes to config.yaml, back to its last committed version.