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

mkosi: bump Debian repo to latest commit #33478

Closed
wants to merge 1 commit into from

Conversation

bluca
Copy link
Member

@bluca bluca commented Jun 25, 2024

No description provided.

@github-actions github-actions bot added the please-review PR is ready for (re-)review by a maintainer label Jun 25, 2024
@keszybz
Copy link
Member

keszybz commented Jun 25, 2024

Please use tools/update-distro-hash so that the changelog is included in the commit.

@keszybz keszybz added reviewed/needs-rework 🔨 PR has been reviewed and needs another round of reworks and removed please-review PR is ready for (re-)review by a maintainer labels Jun 25, 2024
@bluca
Copy link
Member Author

bluca commented Jun 25, 2024

Please use tools/update-distro-hash so that the changelog is included in the commit.

doesn't work as I don't have it checked out

@DaanDeMeyer
Copy link
Contributor

#33479

@github-actions github-actions bot removed reviewed/needs-rework 🔨 PR has been reviewed and needs another round of reworks quick-review 🏃‍♂️ labels Jun 25, 2024
@bluca bluca deleted the debian_latest branch June 25, 2024 14:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Development

Successfully merging this pull request may close these issues.

None yet

3 participants