diff --git a/push.json b/push.json deleted file mode 100644 index e69de29bb2..0000000000