github-starred/awesome-embedded-rust
2
0
Fork 0
mirror of https://github.com/rust-embedded/awesome-embedded-rust.git synced 2026-03-10 07:42:19 -05:00
Code Issues 6 Packages Projects Releases Wiki Activity

[PR #468] [MERGED] Fix Linting Badge and Add Missing License #468

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

📋 Pull Request Information

Original PR: https://github.com/rust-embedded/awesome-embedded-rust/pull/468
Author: @ScottGibb
Created: 11/22/2024
Status: ✅ Merged
Merged: 11/22/2024
Merged by: @berkus

Base: master ← Head: fix-linting-badge

📝 Commits (2)

📊 Changes

1 file changed (+2 additions, -3 deletions)

View changed files

📝 README.md (+2 -3)

📄 Description

I noticed my last PR around #466 it did not create the badge correctly. This PR fixes it, so it renders correctly :)

🔄 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/rust-embedded/awesome-embedded-rust/pull/468 **Author:** [@ScottGibb](https://github.com/ScottGibb) **Created:** 11/22/2024 **Status:** ✅ Merged **Merged:** 11/22/2024 **Merged by:** [@berkus](https://github.com/berkus) **Base:** `master` ← **Head:** `fix-linting-badge` --- ### 📝 Commits (2) - [`610751e`](https://github.com/rust-embedded/awesome-embedded-rust/commit/610751e96eca70dc6e9c1a387fbc6b6081a9256e) Update README.md - [`3426e54`](https://github.com/rust-embedded/awesome-embedded-rust/commit/3426e5434172a81449623d82c043ff74c0a05c32) Add Missing license ### 📊 Changes **1 file changed** (+2 additions, -3 deletions) <details> <summary>View changed files</summary> 📝 `README.md` (+2 -3) </details> ### 📄 Description I noticed my last PR around #466 it did not create the badge correctly. This PR fixes it, so it renders correctly :) --- <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 08:26:58 -06:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
bug
C-enhancement
enhancement
help wanted
On hold
pull-request
Mirrored from GitHub Pull Request
 question
T-resources
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-embedded-rust#468
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?