Skip to content

"We couldn't find an open repository for..."#3315

Merged
alexr00 merged 1 commit intomainfrom
alexr00/issue3242
Feb 11, 2022
Merged

"We couldn't find an open repository for..."#3315
alexr00 merged 1 commit intomainfrom
alexr00/issue3242

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented Feb 11, 2022

Fixes #3242

@alexr00 alexr00 merged commit 82a7283 into main Feb 11, 2022
@alexr00 alexr00 deleted the alexr00/issue3242 branch February 11, 2022 07:36
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.

"We couldn't find an open repository for..."

1 participant