v1.0.1 protected

Robin Candau

@antiz

10e4b484 · Merge branch 'remove_repo-syncer' into 'master' · Aug 06, 2025

- Slight wording improvements in README
- Add a title to the upstream URL field in issue descriptions
- Add CI for linting and lint main script
- Remove deprecated repo-syncer.py script