Code

Miri subtree instructions#2561

Code

Closed

oli-obk wants to merge 5 commits intorust-lang:masterrust-lang/miri:masterfrom oli-obk:miri_subtree_instructionsoli-obk/miri:miri_subtree_instructionsCopy head branch name to clipboard

+56

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

• git subtree is slow

  oli-obk

  committed
  e19c45f

  Copy full SHA for e19c45f