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

github_repo: strip v prefix if revision is any version number #2832

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

chrisnovakovic
Copy link
Contributor

@chrisnovakovic chrisnovakovic commented Jun 19, 2023

github_repo currently strips the v prefix from the file names in the zip file downloaded from GitHub if revision is a semver, since GitHub silently does the same if asked to archive the code for semver-like tags. It looks like this logic extends to more than just semvers, though - the same behaviour has been observed for strings that are simple dotted version numbers with any number of components (e.g. v1.1.10.1). Account for this in the prefix-stripping logic.

Fixes #2829.

`github_repo` currently strips the `v` prefix from the file names in the
zip file downloaded from GitHub if `revision` is a semver, since GitHub
silently does the same if asked to archive the code for semver-like
tags. It looks like this logic extends to more than just semvers,
though - the same behaviour has been observed for strings that are
simple dotted version numbers with any number of components (e.g.
`v1.1.10.1`). Account for this in the prefix-stripping logic.

Fixes thought-machine#2829.
@chrisnovakovic chrisnovakovic force-pushed the github_repo-strip-v-prefix branch from 51cb95e to 9a9a9b9 Compare June 19, 2023 14:52
@stale
Copy link

stale bot commented Oct 15, 2023

This issue has been automatically marked as stale because it has not had any recent activity in the past 90 days. It will be closed if no further activity occurs. If you require additional support, please reply to this message. Thank you for your contributions.

@stale stale bot added the wontfix label Oct 15, 2023
@chrisnovakovic
Copy link
Contributor Author

This issue has been automatically marked as stale because it has not had any recent activity in the past 90 days. It will be closed if no further activity occurs. If you require additional support, please reply to this message. Thank you for your contributions.

Not stale, but I'm going to think of a more efficient way to implement this.

Copy link

stale bot commented Mar 17, 2024

This issue has been automatically marked as stale because it has not had any recent activity in the past 90 days. It will be closed if no further activity occurs. If you require additional support, please reply to this message. Thank you for your contributions.

@stale stale bot added the wontfix label Mar 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

github_repo fails when revision is a non-semver version number
1 participant