Skip to content

Commit c2e51e9

Browse files
authored
docs: clean up coding guidelines subcommittee folder (#696)
1 parent eba89c2 commit c2e51e9

3 files changed

Lines changed: 2 additions & 122 deletions

File tree

subcommittee/coding-guidelines/README.md

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -12,15 +12,11 @@ Coding guidelines were a well-requested topic, so we formed this subcommittee.
1212

1313
## Subcommittee Mission Statement
1414

15-
A community-vetted coding guideline for Rust in safety-critical applications. A living document that is updated as features are added to Rust and we learn more by doing.
16-
17-
Please see further details in our [mission statement](mission-statement.md).
15+
Please see further details in our mission statement on [arewesafetycriticalyet.org/coding_guidelines/mission](https://arewesafetycriticalyet.org/coding_guidelines/mission).
1816

1917
## Members and Membership
2018

21-
Please find the list of members [here](members.md).
22-
23-
The Safety-Critical Rust Consortium is still working through what this process is. Please check back soon.
19+
See section [Subcommittee Membership](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium#subcommittee-membership) in the main README.md.
2420

2521
## Meetings
2622

@@ -30,4 +26,3 @@ We are still sorting out meeting scheduling and frequency. Please check back soo
3026

3127
* There is a `safety-critical-consortium` channel in the [Rust Zulip](https://rust-lang.zulipchat.com/) which contains a topic dedicated to [Coding Guidelines](https://rust-lang.zulipchat.com/#narrow/stream/445688-safety-critical-consortium/topic/Coding.20Guidelines).
3228
* Here! You're welcome to check out what's on offer and provide feedback and suggestions on how to improve.
33-

subcommittee/coding-guidelines/members.md

Lines changed: 0 additions & 77 deletions
This file was deleted.

subcommittee/coding-guidelines/mission-statement.md

Lines changed: 0 additions & 38 deletions
This file was deleted.

0 commit comments

Comments
 (0)