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

Use apt preferences instead of dpkg holds #9

Merged
merged 1 commit into from
Feb 6, 2024
Merged

Use apt preferences instead of dpkg holds #9

merged 1 commit into from
Feb 6, 2024

Conversation

atj
Copy link
Collaborator

@atj atj commented Feb 6, 2024

No description provided.

zas
zas approved these changes Feb 6, 2024
View reviewed changes
Copy link

@zas zas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@atj atj force-pushed the apt-preferences branch from 019020d to 50cb159 Compare February 6, 2024 13:45
@atj atj force-pushed the apt-preferences branch from 50cb159 to d772ed1 Compare February 6, 2024 13:51
@atj atj merged commit 30487e8 into main Feb 6, 2024
3 checks passed
@atj atj deleted the apt-preferences branch February 6, 2024 13:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@zas zas zas approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@atj @zas