Auto merge of #60868 - rust-lang:fix-dev-no-comment, r=pietroalbini

[beta] Comment out dev key in stage0.txt r? @pietroalbini We should maybe have some check for this somewhere; I think this is at least the second time we've forgotten to do this. Maybe just have CI fail on beta branch unless it's commented (and not a release week?)?
rust-lang · May 16, 2019 · d08ab31 · d08ab31
2 parents 2bafaaf + 315287c
commit d08ab31
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/stage0.txt b/src/stage0.txt
@@ -12,8 +12,8 @@
 # source tarball for a stable release you'll likely see `1.x.0` for rustc and
 # `0.x.0` for Cargo where they were released on `date`.
 
-date: 2019-04-08
-rustc: 1.34.0
+date: 2019-05-14
+rustc: 1.34.2
 cargo: 0.35.0
 
 # When making a stable release the process currently looks like:
@@ -34,4 +34,4 @@ cargo: 0.35.0
 # looking at a beta source tarball and it's uncommented we'll shortly comment it
 # out.
 
-dev: 1
+#dev: 1