search

pulp / pulp_deb

Debian repository plugin for Pulp (pulpproject.org)
GNU General Public License v2.0
61 stars 78 forks source link

Update CI files for branch 3.1 #1093

Closed pulpbot closed 3 months ago

quba42 commented 3 months ago

I vote we pretend we already merged https://github.com/pulp/pulp_deb/pull/1097, and close this PR.