Merge pull request #622 from rust-lang/chore-remove-references-to-crater-azure

chore: remove references to crater-azure

Author: marcoieni

ansible/envs/dev-example/group_vars/crater.yml

@@ -3,6 +3,3 @@
 
 [monitoring]
 # monitoring-server.local
-
-[crater]
-# crater-agent.local

ansible/envs/dev-example/hosts

@@ -4,10 +4,6 @@ bastion.infra.rust-lang.org
 [monitoring]
 monitoring.infra.rust-lang.org
 
-[crater]
-crater-azure-1.infra.rust-lang.org
-crater-azure-2.infra.rust-lang.org
-
 [playground]
 play-2.infra.rust-lang.org