|
ci
|
ci: update watch list when we run an update
|
2023-06-14 10:45:38 -06:00 |
|
deploy
|
deploy: no need to re-query completed PRs
|
2023-06-14 10:45:38 -06:00 |
|
fmt
|
all: cleanup dead code
|
2023-06-14 10:45:35 -06:00 |
|
mkboot
|
xin: move scripts into bin dir
|
2023-06-14 10:45:32 -06:00 |
