make ignore-git true by default when channel is dev#43895

Merged

bors merged 9 commits intorust-lang:masterfrom JeremySorensen:master

Aug 30, 2017

+18-5

Commits on Aug 16, 2017

make ignore-git true by default when channel is dev
JeremySorensen
committed

Commits on Aug 17, 2017

Commits on Aug 28, 2017

getting rid of all changes due to this PR thus far, starting from a clean slate
JeremySorensen
committed

Commits on Aug 29, 2017

use an optional bool to keep track of ignore-git setting, if not specified by the end, use the channel to determine its value
JeremySorensen
committed
add ignore-git=true option to RUST_CONFIGURE_ARGS
JeremySorensen
committed
change option for RUST_CONFIGURE_ARGS to ignore-git=false
JeremySorensen
committed

Commits on Aug 30, 2017