github-starred/awesome-3d-printing
2
0
Fork 0
mirror of https://github.com/ad-si/awesome-3d-printing.git synced 2026-07-16 11:22:41 -05:00
Code Issues 66 Packages Projects Releases Wiki Activity

[PR #48] [CLOSED] ci: use the awesome-lint linter #896

New Issue
Closed
opened 2026-06-09 19:32:06 -05:00 by GiteaMirror · 0 comments
GiteaMirror commented 2026-06-09 19:32:06 -05:00
Owner
Copy Link

📋 Pull Request Information

Original PR: https://github.com/ad-si/awesome-3d-printing/pull/48
Author: @Linkid
Created: 1/1/2025
Status: ❌ Closed

Base: main ← Head: ci-lint-with-awesome-lint

📝 Commits (3)

  • 4896256 ci: use the awesome-lint linter
  • e489aec ci(lint): ignore link references
  • 73527d9 Merge branch 'main' into ci-lint-with-awesome-lint

📊 Changes

2 files changed (+53 additions, -15 deletions)

View changed files

➕ .github/workflows/lint.yml (+13 -0)
📝 readme.md (+40 -15)

📄 Description

No description provided

🔄 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/ad-si/awesome-3d-printing/pull/48 **Author:** [@Linkid](https://github.com/Linkid) **Created:** 1/1/2025 **Status:** ❌ Closed **Base:** `main` ← **Head:** `ci-lint-with-awesome-lint` --- ### 📝 Commits (3) - [`4896256`](https://github.com/ad-si/awesome-3d-printing/commit/48962565b4a2f788809914083016d4b1f78d4846) ci: use the awesome-lint linter - [`e489aec`](https://github.com/ad-si/awesome-3d-printing/commit/e489aec4809cb6e7ffc2e443462161855294c4a1) ci(lint): ignore link references - [`73527d9`](https://github.com/ad-si/awesome-3d-printing/commit/73527d91dd2a0322b9ad1b30d824d87703153993) Merge branch 'main' into ci-lint-with-awesome-lint ### 📊 Changes **2 files changed** (+53 additions, -15 deletions) <details> <summary>View changed files</summary> ➕ `.github/workflows/lint.yml` (+13 -0) 📝 `readme.md` (+40 -15) </details> ### 📄 Description _No description provided_ --- <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 2026-06-09 19:32:06 -05:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
help wanted
pull-request
Mirrored from GitHub Pull Request
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-3d-printing#896
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?