Merge PR #9536: [ci] Remove unused bintray file.

Reviewed-by: maximedenes

1 files changed, 0 insertions, 20 deletions

diff --git a/.bintray.json b/.bintray.json
deleted file mode 100644
index 1b32a144c8..0000000000
--- a/.bintray.json
+++ /dev/null
@@ -1,20 +0,0 @@
-{
-    "package": {
-        "name": "coq",
-        "repo": "coq",
-        "subject": "coq"
-    },
-
-    "version": {
-        "name": "8.10+alpha"
-    },
-
-    "files":
-        [
-        {"includePattern": "_build/(.*\\.dmg)", "uploadPattern": "$1",
-         "matrixParams": {
-             "override": 1 }
-        }
-        ],
-    "publish": true
-}