Skip to content

Block deprecated repos in /etc/hosts#76

Merged
mkurz merged 1 commit intomainfrom
block-deprecated-repos
Jan 30, 2024
Merged

Block deprecated repos in /etc/hosts#76
mkurz merged 1 commit intomainfrom
block-deprecated-repos

Conversation

@mkurz
Copy link
Member

@mkurz mkurz commented Jan 29, 2024

Makes sure we do not rely on dependencies from these deprecated repos anymore, across all our repos.
Related:

@mkurz mkurz changed the title Block deprecated repos in /etc/hosts Block deprecated repos in /etc/hosts Jan 29, 2024
@mkurz
Copy link
Member Author

mkurz commented Jan 30, 2024

Tested here and worked:

@mkurz mkurz merged commit 372f672 into main Jan 30, 2024
@mkurz mkurz deleted the block-deprecated-repos branch January 30, 2024 00:08
@mkurz
Copy link
Member Author

mkurz commented Jan 30, 2024

I cleaned the caches of all our repos and for each repo, restarted the latest Check Workflow, to find out if any of the repos still pulls libs from the deprecated repos:

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.

1 participant