Redirect submodules from shark-infra to iree-org. #17614
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
We moved these out of iree-org to make it easier for project contributors to access them at a time when iree-org was defunct and the iree repo was in the openxla GitHub org. Now that the iree repo is back in iree-org and we've updated how we grant access, these repositories can move back too.
ScottTodd
added
infrastructure
ScottTodd
commented
Jun 7, 2024
There was a problem hiding this comment.
This workflow was failing before. This might have made it worse or just been a no-op. Hard to tell :P
this pr: https://github.com/iree-org/iree/actions/runs/9422777482/job/25959787558?pr=17614
previous (soft) failure: https://github.com/iree-org/iree/actions/runs/9024559403/job/24798654413#step:6:53
|
Nice, CI jobs seem to be taking the move well. When we used Buildkite before, we saw runners failing to fetch submodules until we put |
rsuderman
approved these changes
Jun 7, 2024
|
You will want to check into the submodule bump failure |
See my comment. That was failing before (fyi again @renxida ) |
|
Thanks! |
LLITCHEV
pushed a commit
to LLITCHEV/iree
that referenced
this pull request
Jul 30, 2024
We moved these out of https://github.com/iree-org to make it easier for project contributors to access them at a time when iree-org was defunct, creating repos there took navigating an extraordinary amount of red tape, and the main iree repo was in the https://github.com/openxla GitHub org. Now that the iree repo is back in iree-org and we've updated how we manage access, these repositories can move back too. GitHub does some automatic redirecting but individual developers may want to run `git submodule sync` after the repository moves and this change. For developers working in the other repositories directly, run `git submodule set-url [remote name] [new url]`. For example: `git remote set-url origin https://github.com/iree-org/megabump.git` Signed-off-by: Lubo Litchev <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
We moved these out of https://github.com/iree-org to make it easier for project contributors to access them at a time when iree-org was defunct, creating repos there took navigating an extraordinary amount of red tape, and the main iree repo was in the https://github.com/openxla GitHub org. Now that the iree repo is back in iree-org and we've updated how we manage access, these repositories can move back too.
GitHub does some automatic redirecting but individual developers may want to run
git submodule syncafter the repository moves and this change. For developers working in the other repositories directly, rungit submodule set-url [remote name] [new url]. For example:git remote set-url origin https://github.com/iree-org/megabump.git