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?)?

Author: bors

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