.. ..
README.md rename: cave → cave-server, cav → cave 1 month ago
deps.go api+cli: deps REST endpoints and `cave deps` client 1 month ago
main.go pr: add a per-PR merge command (CLI pr merge + api-merge-pull route) 3 days ago