Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

README.md: Fix inconsistent formatting #21064

Conversation

maribu
Copy link
Member

@maribu maribu commented Dec 5, 2024

Contribution description

In the related projects, one project name was formatted as bold, while the others were not. This removes the bold formatting from "Ariel OS", so that it matches the formatting of the other project names.

Testing procedure

The README.md should now be consistent.

Issues/PRs references

Inconsistent formatting introduced in: #21052

In the related projects, one project name was formatted as bold, while
the others were not. This removes the bold formatting from "Ariel OS",
so that it matches the formatting of the other project names.
@maribu maribu requested a review from jia200x as a code owner December 5, 2024 17:32
@github-actions github-actions bot added the Area: doc Area: Documentation label Dec 5, 2024
@maribu
Copy link
Member Author

maribu commented Dec 5, 2024

I'm feeling really bold today: So I dare to label this as minor and as a doc fix.

@maribu maribu added Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors) Impact: minor The PR is small in size and might only require a quick look of a knowledgeable reviewer CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Dec 5, 2024
@maribu maribu requested a review from Teufelchen1 December 5, 2024 17:33
@riot-ci
Copy link

riot-ci commented Dec 5, 2024

Murdock results

✔️ PASSED

6dca47e README.md: Fix inconsistent formatting

Success Failures Total Runtime
1 0 1 01m:27s

Artifacts

@Teufelchen1 Teufelchen1 enabled auto-merge December 5, 2024 17:35
@Teufelchen1 Teufelchen1 added this pull request to the merge queue Dec 5, 2024
Merged via the queue into RIOT-OS:master with commit 75828d2 Dec 5, 2024
29 checks passed
@maribu maribu deleted the README.md/consistent-project-name-formatting branch December 15, 2024 07:42
@MrKevinWeiss MrKevinWeiss added this to the Release 2025.01 milestone Jan 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: doc Area: Documentation CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR Impact: minor The PR is small in size and might only require a quick look of a knowledgeable reviewer Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants