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.

Sign up for GitHub

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

Jump to bottom

refactor(Misc): Rename portals to bridges #5385

Closed

Tracked by

benesjan opened this issue Mar 22, 2024 · 1 comment

Closed

Tracked by

refactor(Misc): Rename portals to bridges #5385

benesjan opened this issue Mar 22, 2024 · 1 comment

Contributor

benesjan commented Mar 22, 2024

A bridge is a standard name and there is no reason to have a custom one.

github-project-automation bot added this to A3

github-project-automation bot moved this to Todo in A3

LHerskind mentioned this issue

🧚‍♂️ Miscellaneous tasks #5070

Open

LHerskind changed the title ~~Rename portals to bridges~~ refactor(Misc): Rename portals to bridges

Contributor

LHerskind commented Jun 6, 2024

Closing this one as @rahul-kothari disagreed, and he is the big man on the naming of things dev-facing

LHerskind closed this as completed

github-project-automation bot moved this from Todo to Done in A3

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment