summaryrefslogtreecommitdiff
path: root/Documentation/infrastructure
AgeCommit message (Expand)Author
2024-10-06Documentation: Remove myself from various rolesPatrick Georgi
2024-09-09Docs: Revert false MyST Parser toctree conversionsNicholas Chin
2024-03-21Docs: Replace Recommonmark with MyST ParserNicholas Chin
2024-01-12Documentation: Start administrator handbookPatrick Georgi
2023-09-24Doc/infra: Update my contact informationPatrick Georgi
2023-09-15Documentation: Adjust master -> main branchStefan Reinauer
2022-07-12docs/infra/services: Add Gerrit SSH host keys and fingerprintsFelix Singer
2022-07-10Documentation/Infra: Update Jenkins doc with 2 new buildersMartin Roth
2022-05-03Documentation/infra/builders.md: Fix markdown inssuesMartin Roth
2022-04-24Documentation: Move services page to infrastructure sectionFelix Singer
2022-04-24Documentation: Rename infrastructure sectionFelix Singer
2022-04-24Documentation: Update document about jenkins buildersMartin Roth
2022-03-14Documentation: Describe our Coverity Scan integrationPatrick Georgi
2021-05-28Documentation: Fix up toctreePatrick Georgi
2021-01-25Documentation: Add documentation on jenkins buildersMartin Roth