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

Fixes for deprecated repos etc. #90

Merged
merged 2 commits into from
Nov 22, 2023
Merged

Fixes for deprecated repos etc. #90

merged 2 commits into from
Nov 22, 2023

Conversation

Bo98
Copy link
Member

@Bo98 Bo98 commented Nov 22, 2023

@MikeMcQuaid
Copy link
Member

👍🏻 on this but hold before merging and I'll quickly archive those repos.

@MikeMcQuaid
Copy link
Member

Done, thanks @Bo98.

@MikeMcQuaid MikeMcQuaid merged commit 55931e6 into master Nov 22, 2023
3 checks passed
@MikeMcQuaid MikeMcQuaid deleted the repo-fix branch November 22, 2023 16:09
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 23, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants