DO TODO: remove this alias after 2017-05-22

kolorful · May 25, 2017 · 6f92f51 · 6f92f51
1 parent 89a76b8
commit 6f92f51
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/build/root/BUILD.root b/build/root/BUILD.root
@@ -33,13 +33,6 @@ gcs_upload(
     },
 )
 
-# TODO: remove this alias after 2017-05-22
-alias(
-    name = "ci-artifacts",
-    actual = "push-build",
-    deprecation = "This rule will be removed after 2017-05-22. Use //:push-build instead.",
-)
-
 filegroup(
     name = "package-srcs",
     srcs = glob(