Fill in the repository template gaps (#1)

Author: celinval

CHARTER.md

@@ -1,4 +1,4 @@
-# {{GROUP_NAME}} Charter
+# Stable MIR Librarification Charter
 <!--
  Provide an introduction summarising the goals and motivation behind your
  project group.

README.md

@@ -1,23 +1,4 @@
-# {{GROUP_NAME}} {{GROUP_TYPE}} Group
-<!--
- This is the template for creating project groups in rust-lang. Be sure to go
- through all sections marked with `**FIX ME**`, and make sure that the text is
- correct, and feel free to replace/remove any part that's not relevant to
- your group.
-
- All of the text across all of the initial files uses the same group of
- variables to allow for easy search and replace. They are listed below.
-
- Example sed command: `sed -i '' 's/{{GROUP_NAME}}/Inline ASM/g' ./**/*.md`
- *Note* the `-i ''` is important as it is required on some platforms e.g. macOS
-
- * {{GROUP_NAME}} -> The display name of your group e.g. "Inline ASM".
- * {{GROUP_SLUG}} -> The url slug name of your group used for
-   `rust-lang/team` and repo name. e.g. "pg-inline-asm".
- * {{CHAT_PLATFORM}} -> The name of your chat app e.g. "Zulip".
- * {{CHAT_LINK}} -> The hyperlink to your discussions on the chat app
-   e.g. "https://rust-lang.zulipchat.com/#narrow/stream/216763-project-inline-asm".
--->
+# Stable MIR Librarification Project Group
 
 <!--
  Status badge advertising the project as being actively worked on. When the
@@ -28,56 +9,39 @@
 [![project group documentation](https://img.shields.io/badge/MDBook-View%20Documentation-blue)][gh-pages]
 
 
-**FIX ME**
-
 <!--
  Provide a short introduction about your project group. Make sure to include any
  relevant links to information about your group.
 -->
 
-Welcome to the repository for the {{GROUP_NAME}} Project Group! This is the
-repository we use to organise our work. Please refer to our [charter] as well
+Welcome to the repository for the Stable MIR Librarification Project Group! Our goal is to provide a stable
+API based on the rust compiler mid-level intermediate representation (MIR) that can be used as the foundation
+for development of tools that want to perform sophisticated analyses and make stronger guarantees about the
+behavior of Rust programs.
+
+
+This is the repository we use to organise our work. Please refer to our [charter] as well
 as our [github pages website][gh-pages] for more information on our goals and
 current scope.
 
 [charter]: ./CHARTER.md
-[gh-pages]: https://rust-lang.github.io/{{GROUP_SLUG}}
-
-**/FIX ME**
+[gh-pages]: https://rust-lang.github.io/project-stable-mir
 
 
 ## How Can I Get Involved?
 
-**FIX ME**
-
-<!--
- List ways that people from outside your group can get involved and potentially
- become members, include what meetings your team has, and how a person could
- start participating and contributing. Make sure to mention the main platform
- your group hosts its discussions. Be sure to also include links to any
- other projects that your group maintains.
--->
 
 [You can find a list of the current members available
 on `rust-lang/team`.][team-toml]
 
 If you'd like to participate be sure to check out any of our [open issues] on this
 repository.
 
-We also participate on [{{CHAT_PLATFORM}}][chat-link], feel free to introduce
+We also participate on [Zulip][chat-link], feel free to introduce
 yourself over there and ask us any questions you have.
 
 
 [open issues]: /issues
-[chat-link]: {{CHAT_LINK}}
-[team-toml]: https://github.com/rust-lang/team/blob/master/teams/{{GROUP_TYPE}}-{{GROUP_SLUG}}.toml
-
-**/FIX ME**
-
-## Building Documentation
-This repository is also an mdbook project. You can view and build it using the
-following command.
+[chat-link]: https://rust-lang.zulipchat.com/#narrow/stream/320896-project-stable-mir
+[team-toml]: https://github.com/rust-lang/team/blob/master/teams/project-stable-mir.toml
 
-```
-mdbook serve
-```