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.

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

chore: remove unnecessary BRIDGE_ID #130

Merged
merged 1 commit into from
Nov 28, 2022
Merged

chore: remove unnecessary BRIDGE_ID #130

merged 1 commit into from
Nov 28, 2022

Conversation

rach-id
Copy link
Member

@rach-id rach-id commented Nov 21, 2022

Overview

Closes: #71

Checklist

  • New and updated code has appropriate documentation
  • New and updated code has new and/or updated testing
  • Required CI checks are passing
  • Visual proof for any user facing features like CLI or documentation updates
  • Linked issues closed with keywords

@rach-id rach-id self-assigned this Nov 21, 2022
@rach-id rach-id mentioned this pull request Nov 21, 2022
Merged
5 tasks
@rach-id rach-id merged commit 362e7da into master Nov 28, 2022
@rach-id rach-id deleted the remove_bridge_ID branch November 28, 2022 09:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@adlerjohn adlerjohn adlerjohn approved these changes

@evan-forbes evan-forbes Awaiting requested review from evan-forbes

Assignees

@rach-id rach-id

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Look into removing the BRIDGE_ID
2 participants
@rach-id @adlerjohn