Skip to content

Commit

Permalink
README: highlight summary links
Browse files Browse the repository at this point in the history
Signed-off-by: Gerwin Klein <[email protected]>
  • Loading branch information
lsf37 committed Jul 25, 2024
1 parent f5500fe commit 348a012
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,9 +5,9 @@

# seL4 Request for Comments (RFC) Process

[Approved RFCs](https://sel4.github.io/rfcs/) -
[Open RFCs](https://github.com/seL4/rfcs/pulls?q=is%3Aopen+is%3Apr+-label%3Anot-rfc+) -
[RFCs under implementation](https://github.com/seL4/rfcs/tree/main/src/active)
> - [Approved RFCs](https://sel4.github.io/rfcs/)
> - [Open RFCs](https://github.com/seL4/rfcs/pulls?q=is%3Aopen+is%3Apr+-label%3Anot-rfc+)
> - [RFCs under implementation](https://github.com/seL4/rfcs/tree/main/src/active)
To be notified of new RFCs, use the GitHub button on the top to watch pull
requests on this repository.
Expand Down

0 comments on commit 348a012

Please sign in to comment.