Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use xmllint instead of xmlstarlet | 2023-03-23 | 1 | -1/+1 | |
* | overlays: check XML style | 2023-03-21 | 1 | -1/+1 | |
* | github ci: run on push and PRs | 2023-03-16 | 1 | -1/+1 | |
* | Add github ci.yaml | 2023-03-16 | 2 | -19/+19 | |
* | bin/repositories-checker.py: various improvements and fixes | 2023-02-27 | 1 | -1/+1 | |
* | Fix CI workflow | 2022-04-13 | 1 | -1/+0 | |
* | Add CI workflow for checking repositories.xml | 2022-04-12 | 1 | -0/+46 |