mirror of
https://github.com/rust-embedded/awesome-embedded-rust.git
synced 2026-05-24 22:21:06 -05:00
[PR #514] [CLOSED] chore: add .editorconfig and .gitattributes #5675
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/rust-embedded/awesome-embedded-rust/pull/514
Author: @srpatcha
Created: 4/25/2026
Status: ❌ Closed
Base:
master← Head:chore/add-editorconfig📝 Commits (4)
1eefd8cchore: add .editorconfig and .gitattributesc631223feat: add curated list lintere40db10fix: fix double space in markdown formattingf683411test: add pytest tests for list linter📊 Changes
5 files changed (+756 additions, -1 deletions)
View changed files
➕
.editorconfig(+22 -0)➕
.gitattributes(+24 -0)📝
README.md(+1 -1)➕
scripts/lint_list.py(+500 -0)➕
scripts/test_lint_list.py(+209 -0)📄 Description
Changes
chore: add .editorconfig and .gitattributes
Add .editorconfig for consistent formatting across editors and
.gitattributes for proper line ending normalization.
Signed with GPG.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.