8d5d4942e1
queue-runner: remove unused method from State
e5a8ee5c17
web: require permissions for /api/push
fd7fd0ad65
treewide: clang-tidy modernize
d3fcedbcf5
treewide: enable clang-tidy bugprone findings
3891ad77e3
queue-runner: change Machine object creation to work around clang bug
21fd1f8993
flake: add devShells, including a clang one for clang-tidy & more
ab6d81fad4
api: fix github webhook
64df0cba47
Match URIs that don't end in .git
6179b298cb
Add gitea push hook
Add gitea push hook
I'll merge this for now but oh gods this is a complete misfeature and a blatant DoS hole without signature checking. The only reason I'm not NAK-ing it is because there's an even worse DoS hole…
Add gitea push hook
Could you cherry-pick the individual commits from the author, instead of what you've done currently which squashes everything (and loses proper commit attribution) into one merge commit?
Otherwi…
readIntoSocket: fix with store URIs containing an `&`
e987f74954
doc: drop dev-notes & make update-dbix more discoverable
1f802c008c
flake.lock: Update
3a4e0d4917
Get dev environment working again
3517acc5ba
Add direnv & PLS to the dev setup
Update development environment again
6881351f23
build-coord: copy the baremetal-builders DNS64 config
d3e053809c
hydra: log_prefix needs to be / terminated
e2a990c982
hydra: listen on 127.0.0.1 instead of localhost
5fdce0e2b5
hydra: move from bagel-box to build-coord
ce3a40671c
acme: make ToS and contact config common
8ffb7e51f1
tf/gandi: reduce all TTLs from 1h to 5m
b7d913b22f
tf/gandi: move hydra CNAME to build-coord
c33326f836
hydra: switch to using mTLS instead of local peer auth
0dd333c573
postgres: add mTLS support
e7f25d6ee2
tf/gandi: add a postgres CNAME to bagel-box