Code

Add git-subtree instructions#2560

Code

Closed

oli-obk wants to merge 4 commits intomasterrust-lang/miri:masterfrom miri_subtreerust-lang/miri:miri_subtreeCopy head branch name to clipboard

+54

Commits

Commits on Sep 22, 2022

• Extend instructions with download command for git-subtree script

  oli-obk

  committed
  c7cf451

  Copy full SHA for c7cf451

Commits on Sep 23, 2022

• Make instructions a bit clearer on which direction we're talking about

  oli-obk

  committed
  3b781c5

  Copy full SHA for 3b781c5

• git subtree is a rustc-repo only operation in either direction

  oli-obk

  committed
  cdc6a04

  Copy full SHA for cdc6a04

• git subtree adds branches or commits

  oli-obk

  committed
  5667a90

  Copy full SHA for 5667a90