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

Clone SOURCES repos outside container #835

Merged
merged 2 commits into from
Mar 6, 2024
Merged

Clone SOURCES repos outside container #835

merged 2 commits into from
Mar 6, 2024

Commits on Mar 6, 2024

  1. Simplify updating repositories

    @TimoWilken
    TimoWilken committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    80e8a33 View commit details
    Browse the repository at this point in the history

  2. Clone SOURCES repos outside container 

    This lets us always use speed-up options like --filter, even when we're
building inside a container.

We can also easily start using sapling for this in future by implementing the
new SCM methods.

This also helps with some annoying authentication-related issues, if running
inside --docker, such as in CI.

Fixes <https://its.cern.ch/jira/browse/O2-2439>.

When this is merged, we can also get rid of the `GIT_*` environment variables
used in CI, and stop installing an especially-new Git version in our
containers (since that was needed to understand the `GIT_*` variables).
    @TimoWilken
    TimoWilken committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    f68fcde View commit details
    Browse the repository at this point in the history