Skip to content

Upgrade GitHub repo#10574

Closed
thomasjball wants to merge 16 commits intomasterfrom
upgradeGithubRepo
Closed

Upgrade GitHub repo#10574
thomasjball wants to merge 16 commits intomasterfrom
upgradeGithubRepo

Conversation

@thomasjball
Copy link
Contributor

@thomasjball thomasjball commented May 9, 2025 •
edited
Loading

a change that didn't make it in

  • we don't need to reload the current package if dependencies change; when new Package() is called, we guarantee that the repo associated with the package is finalized

@thomasjball thomasjball requested a review from riknoll May 9, 2025 22:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@riknoll riknoll Awaiting requested review from riknoll

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@thomasjball @abchatra