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.

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

Feature/docs for using this in a corporate environment #13

Open
jamesfricker opened this issue Aug 21, 2024 · 1 comment
Open

Feature/docs for using this in a corporate environment #13

jamesfricker opened this issue Aug 21, 2024 · 1 comment
Labels
enhancement New feature or request

Comments

@jamesfricker
Copy link

Corporate folks often won't have access to GitHub.com, but some kind of internal mirror of GitHub.

Think makes these features not usable. See others with this issue: https://www.github.com/prefix-dev/pixi/issues/474

There should be a way to supply an alternative GitHub, perhaps as an environment variable or some other means.

@nichmor nichmor added the enhancement New feature or request label Aug 21, 2024
@nichmor
Copy link
Collaborator

nichmor commented Aug 21, 2024

hey @jamesfricker ! Thanks for raising this issue.

I think it is a very good point - maybe we can allow to specify what is the mirror for github compressed mapping in pixi, so others can use their own self-hosted mapping.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants