Merge branch 'master' into deautoref-ergo

Author: scottmcm

.gitattributes

@@ -0,0 +1,2 @@
+# Not useful to get grep results from
+mermaid.min.js binary

.github/ISSUE_TEMPLATE/active_initiative.md

@@ -0,0 +1,31 @@
+---
+name: Active initiative tracking issue
+about: Issue representing an active initiative
+title: "(My meeting proposal)"
+labels: lang-initiative, T-lang
+assignees: ""
+---
+
+# Summary
+
+_Briefly describe the goal of the initiative_
+
+# Info
+
+- Owner: _name here_
+- Liaison: _name here_
+- Zulip stream [`#project-XXX`](XXX)
+- [stage]: Experimental
+- Repository [rust-lang/XXX](https://github.com/rust-lang/XXX) (if any)
+
+[Stage]
+
+# What is this issue?
+
+This issue represents an **[active initiative]**. It is meant to be used for
+the group to post updates to the lang team (and others) in a lightweight
+fashion. Please do not use the comments here for discussion, that should be kept
+in the Zulip stream (discussion comments here will be marked as off-topic).
+
+[stage]: https://lang-team.rust-lang.org/initiatives/stages.md
+[active initiative]: https://lang-team.rust-lang.org/initiatives.md

.github/ISSUE_TEMPLATE/initiative_proposal.md

@@ -0,0 +1,37 @@
+---
+name: Initiative proposal
+about: Propose a new initiative affiliated with the lang-team
+title: "(My initiative proposal)"
+labels: major-change, T-lang
+assignees: ""
+---
+
+# Proposal
+
+## Summary and problem statement
+
+_Describe the problem(s) this initiative is trying to solve as concisely as you can._
+
+## Motivation, use-cases, and solution sketches
+
+_Please describe the problem you are trying to solve and give some use-cases that illustrate it._
+
+_Please also sketch out one or more solutions to the problem. You don't have to have all the details worked out, but it should be enough to convey the idea._
+
+## Links and related work
+
+_Provide links to any internal thread(s), github issues, related work from other languages, or other things that are worth following up on._
+
+## Initial people involved
+
+- Owner, if known:
+- Liaison
+
+## What happens now?
+
+This issue is part of the lang-team [initiative process]. Once this issue is filed, a Zulip topic will be opened for discussion, and the lang-team will review open proposals in its weekly triage meetings. You should receive feedback within a week or two.
+
+**This issue is not meant to be used for technical discussion. There is a Zulip stream for that. Use this issue to leave procedural comments, such as volunteering to review, indicating that you second the proposal (or third, etc), or raising a concern that you would like to be addressed.**
+
+[forge]: https://forge.rust-lang.org/
+[initiative process]: https://lang-team.rust-lang.org/initiatives.md

.github/ISSUE_TEMPLATE/project-group.md

@@ -0,0 +1,10 @@
+name: Deploy mdBook
+on: [push]
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: XAMPPRocky/[email protected]
+        with:
+            token: ${{ secrets.GITHUB_TOKEN }}

.github/ISSUE_TEMPLATE/project_proposal.md

@@ -4,3 +4,20 @@ language = "en"
 multilingual = false
 src = "src"
 title = "The Rust Language Design Team"
+
+[output.html]
+additional-js =["mermaid.min.js", "mermaid-init.js"]
+
+[output.html.fold]
+enable = true
+level = 0
+
+[preprocessor]
+[preprocessor.mermaid]
+command = "mdbook-mermaid"
+
+[output.html.redirect]
+"/rust-2018/edition-changes.html" = "index.html"
+"/priorities.html" = "initiatives/priorities.html"
+"/project_groups.html" = "initiatives/active.html"
+"/proposing_a_project.html" = "initiatives/proposing.html"