Ian Wienand b183a9d628 infra-deb-ppa-push: push to production repos ...

Now that we have shown this working with a test PPAs, this pushes the
packages to the repos used by production.

Change-Id: I170d38c311a37880081c8b195ce3a99075907f29

2022-05-10 17:09:55 +10:00

..

main.yaml

infra-deb-ppa-push: push to production repos

2022-05-10 17:09:55 +10:00