Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/.github/workflows
Commit message (Collapse)AuthorAgeFilesLines
* Use xmllint instead of xmlstarletFlorian Schmaus2023-03-231-1/+1
| | | | | | Closes: https://github.com/gentoo/api-gentoo-org/pull/593 Signed-off-by: Florian Schmaus <flow@gentoo.org> Suggested-by: Robin H. Johnson <robbat2@gentoo.org>
* overlays: check XML styleFlorian Schmaus2023-03-211-1/+1
| | | | Signed-off-by: Florian Schmaus <flow@gentoo.org>
* github ci: run on push and PRsFlorian Schmaus2023-03-161-1/+1
| | | | Signed-off-by: Florian Schmaus <flow@gentoo.org>
* Add github ci.yamlFlorian Schmaus2023-03-162-19/+19
| | | | | Closes: https://github.com/gentoo/api-gentoo-org/pull/575 Signed-off-by: Florian Schmaus <flow@gentoo.org>
* bin/repositories-checker.py: various improvements and fixesArthur Zamarin2023-02-271-1/+1
| | | | | | | | | | | | - Add `--github` option to output in github actions format, otherwise use colored term output. - If "-" is passed as base xml, assume we are doing full xml check. In this mode I skip checking maintainer emails since it might use too much API calls. - Fix typing - Improve error message for bas repos sorting (explain what is bad) Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* Fix CI workflowArthur Zamarin2022-04-131-1/+0
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* Add CI workflow for checking repositories.xmlArthur Zamarin2022-04-121-0/+46
For pull requests touching repositories.xml, check that added emails are associated with a bugzilla account, it matches schema, it is sorted, and some must have fields are defined. Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>