From 23ae2061decdf8e9f7b94829cabe602b6ed36519 Mon Sep 17 00:00:00 2001
From: Kenan Erdogan <kenanerdogan@gmail.com>
Date: Wed, 17 Jun 2020 08:47:48 +0200
Subject: [PATCH] Update binderhub/event-schemas/launch.json

Co-authored-by: Tim Head <betatim@gmail.com>
---
 binderhub/event-schemas/launch.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/binderhub/event-schemas/launch.json b/binderhub/event-schemas/launch.json
index 25f59a12e..7e8a22a1f 100755
--- a/binderhub/event-schemas/launch.json
+++ b/binderhub/event-schemas/launch.json
@@ -24,7 +24,7 @@
         },
         "ref": {
             "type": "string",
-            "description": "Resolved reference to the repo when it is being launched"
+            "description": "Resolved reference for the repo at the time of launch"
         },
         "status": {
             "enum": ["success", "failure"],