mirror of
https://github.com/veggiemonk/awesome-docker.git
synced 2026-07-15 12:35:02 -05:00
[PR #1395] [MERGED] feat: add pindock #10012
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/veggiemonk/awesome-docker/pull/1395
Author: @deadnews
Created: 4/4/2026
Status: ✅ Merged
Merged: 4/23/2026
Merged by: @mashb1t
Base:
master← Head:master📝 Commits (3)
f618e93feat: add pindock85a50aeMerge branch 'master' into master942d3f5Merge branch 'master' into master📊 Changes
1 file changed (+1 additions, -0 deletions)
View changed files
📝
README.md(+1 -0)📄 Description
Summary
Add
pindock, a CLI tool that pins and updates Docker image digests in Dockerfiles and compose files.Example
Scope
If This PR Adds/Edits README Entries
Validation
make lintContributor Checklist
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.