Skip to content

Prune repositories no longer needed#1387

Merged
pipecd-bot merged 1 commit intomasterfrom
prune-repos
Jan 12, 2021
Merged

Prune repositories no longer needed#1387
pipecd-bot merged 1 commit intomasterfrom
prune-repos

Commits

Commits on Jan 9, 2021