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

Add nixpkgs_http_repository #356

Merged
merged 3 commits into from
Mar 22, 2023
Merged

Add nixpkgs_http_repository #356

merged 3 commits into from
Mar 22, 2023

Conversation

aherrmann
Copy link
Member

This adds nixpkgs_http_repository a more general version of nixpkgs_git_repository that is not limited to the specific archives offered by Github, but can be applied to other HTTP provided repositories in general.

This new rule will be used to implement the http and github tags in the Nix repository module extension as described in design/bzlmod/README.md.

nixpkgs_git_repository is modified to call nixpkgs_http_repository itself.

@aherrmann aherrmann requested a review from benradf as a code owner March 22, 2023 10:20
A more general version of nixpkgs_git_repository that is not limited to
the specific archives offered by Github, but can be applied to other
HTTP provided repositories in general.

This is a pre-requisite for some of the tags for the new Bazel module
extension designed in design/bzlmod/README.md, in particular the http
and github tags.

A unique name for this repository.

url: String
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Most of this docstring is taken and adapted from http_archive.

},
)

def nixpkgs_http_repository(
*,
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I hadn't seen this syntax before. It makes everything after * be a keyword argument?

https://peps.python.org/pep-3102/

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, that's correct.

@aherrmann aherrmann added the merge-queue merge on green CI label Mar 22, 2023
@mergify mergify bot merged commit 23e8858 into master Mar 22, 2023
@mergify mergify bot deleted the http-repo branch March 22, 2023 15:32
@mergify mergify bot removed the merge-queue merge on green CI label Mar 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants