Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Introduce option -multi-dist to the publish commands #1292

Merged
merged 1 commit into from
Jun 15, 2024
Merged

Introduce option -multi-dist to the publish commands #1292

merged 1 commit into from
Jun 15, 2024
+80 −13

Commits on Jun 14, 2024

  1. Introduce option multi-dist to the publish commands 

    This change makes it possible to publish multiple distributions
with packages named the same but with different content by changing
structure of the generated pool hierarchy. The option not enabled
by default as this changes the structure of the output which could
break the expectations of other tools.
    @nresare @neolynx
    nresare authored and neolynx committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    8177a8d View commit details
    Browse the repository at this point in the history