github-starred/awesome-docker
2
0
Fork 0
mirror of https://github.com/veggiemonk/awesome-docker.git synced 2026-03-09 15:32:11 -05:00
Code Issues 5 Packages Projects Releases 1 Wiki Activity

[PR #22] [MERGED] Add dockerfile_lint #154

New Issue
Closed
opened 2025-11-06 11:28:26 -06:00 by GiteaMirror · 0 comments
GiteaMirror commented 2025-11-06 11:28:26 -06:00
Owner
Copy Link

📋 Pull Request Information

Original PR: https://github.com/veggiemonk/awesome-docker/pull/22
Author: @md5
Created: 1/21/2015
Status: ✅ Merged
Merged: 1/23/2015
Merged by: @veggiemonk

Base: master ← Head: patch-1

📝 Commits (1)

📊 Changes

1 file changed (+1 additions, -0 deletions)

View changed files

📝 README.md (+1 -0)

📄 Description

I thought there were more lint tools than this, but dockerfile_lint seems like the only one that approaches having an MVP feature set. It looks like the whole "Dev Tools" section could be reorganized, though, so I'm holding off on creating a "Lint Tools" section.

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/veggiemonk/awesome-docker/pull/22 **Author:** [@md5](https://github.com/md5) **Created:** 1/21/2015 **Status:** ✅ Merged **Merged:** 1/23/2015 **Merged by:** [@veggiemonk](https://github.com/veggiemonk) **Base:** `master` ← **Head:** `patch-1` --- ### 📝 Commits (1) - [`c27d2cb`](https://github.com/veggiemonk/awesome-docker/commit/c27d2cb61663d4220ebdea8bd339ec812593b84f) Add dockerfile_lint ### 📊 Changes **1 file changed** (+1 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `README.md` (+1 -0) </details> ### 📄 Description I thought there were more lint tools than this, but `dockerfile_lint` seems like the only one that approaches having an MVP feature set. It looks like the whole "Dev Tools" section could be reorganized, though, so I'm holding off on creating a "Lint Tools" section. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
GiteaMirror added the pull-request label 2025-11-06 11:28:26 -06:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
broken-links
bug
cannot be evaluated
enhancement
health-report
help wanted
maintenance
pending-evaluation
pull-request
Mirrored from GitHub Pull Request
 question
team discussion
weekly-digest
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
GiteaMirror ninjasurge
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/awesome-docker#154
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?