From 753deab0872c3113ad81f1e7577f390feab782da Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Mon, 19 Dec 2022 20:03:21 -0800
Subject: [PATCH] =?UTF-8?q?Revert=20"openapi:=20Declare=20items:=20{}=20fo?=
 =?UTF-8?q?r=20=E2=80=9Cinherited=E2=80=9D=20array=20properties."?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This reverts commit a503d19eaeb2074031441dfa19fdf930952252fa (#20755).

The openapi-core bug was fixed upstream.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 zerver/openapi/zulip.yaml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/zerver/openapi/zulip.yaml b/zerver/openapi/zulip.yaml
index bee7c00e15..359f0e6873 100644
--- a/zerver/openapi/zulip.yaml
+++ b/zerver/openapi/zulip.yaml
@@ -15622,8 +15622,7 @@ components:
             avatar_url: {}
             owner_id:
               nullable: true
-            services:
-              items: {} # https://github.com/p1c2u/openapi-core/issues/380
+            services: {}
     BasicBotBase:
       type: object
       properties:
@@ -15730,8 +15729,7 @@ components:
             avatar_url: {}
             owner_id:
               nullable: true
-            services:
-              items: {} # https://github.com/p1c2u/openapi-core/issues/380
+            services: {}
             email:
               type: string
               description: |