Paolo Tranquilli 7f7aa09c9a Add pre-commit configuration ...

[pre-commit](https://pre-commit.com/) is a framework for easy set-up
of pre-commit hooks.

This adds configuration for it to run:
* ts compilation
* ts linting
* pr-checks synchronization

The latter required the `sync.py` to be callable from the project root.

`pre-commit` can be enabled with
```
python3 -m pip install pre-commit
pre-commit install
```

2023-10-26 11:03:40 +02:00

..

checks

Apply suggestions from code review

2023-10-25 12:23:32 +02:00

sync.py

Add pre-commit configuration

2023-10-26 11:03:40 +02:00