diff --git a/src/commands/config-schema.json b/src/commands/config-schema.json
index 26bf7fa95..4c5dd3734 100644
--- a/src/commands/config-schema.json
+++ b/src/commands/config-schema.json
@@ -195,6 +195,11 @@
                             }
                         }
                     ]
+                },
+                "push": {
+                    "type": "string",
+                    "description": "The remote to which commits are pushed",
+                    "default": "origin"
                 }
             }
         },