Skip to content

switch from dendrite-os back to dendrite #7894

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

Merged
merged 1 commit into from
Mar 29, 2025
Merged

switch from dendrite-os back to dendrite #7894

merged 1 commit into from
Mar 29, 2025

Conversation

Nieuwejaar
Copy link
Contributor

I've renamed the old dendrite repo to dendrite-archived, and the new repo from dendrite-os to dendrite. This PR just replaces all the occurrences of dendrite-os in omicron to point at the new canonical name for the repo. Note: the name has changed, but the commit IDs haven't - just in case you were expecting to see that delta in package-manifest.toml.

@@ -420,11 +420,11 @@ fn dendrite_workaround(
cmd.env("CARGO_NET_GIT_FETCH_WITH_CLI", "true");
cmd.env(
format!("GIT_CONFIG_KEY_{count}"),
"[email protected]:oxidecomputer/dendrite-os.insteadOf",
"[email protected]:oxidecomputer/dendrite.insteadOf",
Copy link
Contributor

Choose a reason for hiding this comment

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

I think this whole chunk of code can just go away now?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

There's a lot of stuff that can go away. That's in the next PR.

Copy link
Contributor

@rcgoodfellow rcgoodfellow left a comment

Choose a reason for hiding this comment

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

Thanks Nils. LGTM. There is a bunch of code we can just get rid of now. We can also do that in a follow on PR.

@Nieuwejaar Nieuwejaar merged commit 6019c64 into main Mar 29, 2025
16 checks passed
@Nieuwejaar Nieuwejaar deleted the bump_dendrite branch March 29, 2025 16:57
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