mirror of
https://github.com/rust-embedded/awesome-embedded-rust.git
synced 2026-03-09 07:12:05 -05:00
Add crates.io badges #1
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?
Originally created by @japaric on GitHub (Apr 1, 2018).
To all the crates that have been published to crates.io. The markdown to add is:
The result should look like this for
$CRATE = l3gd20:@caemor commented on GitHub (Apr 6, 2018):
I should be able to do that on Saturday/Sunday.
@caemor commented on GitHub (Apr 8, 2018):
Can be closed?
@therealprof commented on GitHub (Apr 8, 2018):
Sure. Haven't noticed that you didn't put a Fixes #1 in the PR description.