From 8cd2bcbb83d9571b1a960094ceab04f383046333 Mon Sep 17 00:00:00 2001
From: Raniere Silva <Raniere.CostadaSilva@gesis.org>
Date: Wed, 15 Jan 2025 09:59:37 +0100
Subject: [PATCH] Improve grammar in documentation

as suggested by @manics.
---
 binderhub/app.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/binderhub/app.py b/binderhub/app.py
index b5134a2d5..f15962520 100644
--- a/binderhub/app.py
+++ b/binderhub/app.py
@@ -445,7 +445,7 @@ def _pod_quota_deprecated(self, change):
 
     image_prefix_push = Unicode(
         help="""
-        Prefix for built docker images push to container registry.
+        Prefix for built docker images being pushed to the to container registry.
 
         If you are pushing to gcr.io, this would start with:
             gcr.io/<your-project-name>/
@@ -463,7 +463,7 @@ def _image_prefix_push_default(self):
 
     image_prefix_pull = Unicode(
         help="""
-        Prefix for built docker images pull from container registry.
+        Prefix for built docker images being pulled from container registry.
 
         If you are pushing to gcr.io, this would start with:
             gcr.io/<your-project-name>/