6 commits

Author	SHA1	Message	Date
bors	207955cee5	Auto merge of #10574 - jyn514:update-docs, r=flip1995 ... Update subtree sync docs for changes in rustc-dev-guide Companion PR to https://github.com/rust-lang/rustc-dev-guide/pull/1653. That still keeps a `contributing.html` with an "External Contributions" section, so hopefully it won't be too disruptive. changelog: none	2023-04-03 11:43:22 +00:00
Yuri Astrakhan	41b367fa5f	Gramar, and spelin kleanup ... A few minor cleanups in various markdown files, mostly focusing on spelling and ignoring non-compilable codeblocks.	2023-03-30 15:31:14 -04:00
Jynn Nelson	d29dec1a3f	Update subtree sync docs for changes in rustc-dev-guide	2023-03-30 13:23:48 -04:00
Samuel Tardieu	21433abcea	book: move warning to the right place	2023-02-12 15:29:13 +01:00
Philipp Krones	99a731d265	Book: Improve sync documentation ... - Move doc about defining remotes to the front and use the defined remotes in the further documentation - Don't recommend pushing to the remote repo directly - Add some clarifying comments	2022-06-06 16:17:58 +02:00
flip1995	97bceb0e31	Book: Restructure Dev chapter ... Group everything that has something to do with Clippy development under the "Development" chapter, so that Clippy users can't get confused.	2022-06-06 16:16:11 +02:00

Renamed from book/src/infrastructure/sync.md (Browse further)