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.

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

Update config_dbs.json #2192

Merged
merged 1 commit into from
Nov 3, 2023
Merged

Update config_dbs.json #2192

merged 1 commit into from
Nov 3, 2023

Conversation

edeutsch
Copy link
Collaborator

@edeutsch edeutsch commented Nov 1, 2023

Following discussion in #2191, these databases can be removed??

@edeutsch
Copy link
Collaborator Author

edeutsch commented Nov 1, 2023

I'm just the middleman and don't really know about these, but ITRB is pestering me about unneeded databases.

Okay to merge this @chunyuma @amykglen @saramsey @dkoslicki ?

@edeutsch
Copy link
Collaborator Author

edeutsch commented Nov 3, 2023

assuming @saramsey and @dkoslicki are fine with this.

@edeutsch edeutsch merged commit 48b6219 into master Nov 3, 2023
@saramsey
Copy link
Member

Sorry @edeutsch I got behind on reviewing github notifications. Looks like I missed the boat on this one. My bad. Looks like it got sorted out in the end, though?

@edeutsch
Copy link
Collaborator Author

sorted out in the sense that I merged the change and it crashed and burned the whole system, so I reverted the change, yes.

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.

4 participants