Jörg Thalheim 5163434da6 github/reporter: use properties to render github secret		2024-07-14 02:48:29 +00:00
..
checks	remove github.user	2024-06-14 14:35:31 +00:00
treefmt	treefmt: update ruff settings	2024-07-09 09:54:08 +10:00
0001-master-reporters-github-render-token-for-each-reques.patch	github/reporter: use properties to render github secret	2024-07-14 02:48:29 +00:00
0001-reporter-create-status-in-the-base-repository-of-a-p.patch	gitea: fix status update for pull requests	2024-05-27 15:25:56 +02:00
buildbot-gitea.nix	gitea: fix status update for pull requests	2024-05-27 15:25:56 +02:00
master.nix	github/reporter: use properties to render github secret	2024-07-14 02:48:29 +00:00
worker.nix	use nixos options instead of nixpkgs overlay	2024-07-14 02:48:29 +00:00