git-tool: minor tweak

diff --git a/extra/git-tool/git-tool.factor b/extra/git-tool/git-tool.factor
index 6723eae5eb8c98df8b7f8919afdbddc3cbd901af..ff45d32c651d0f470a71737b4c5363a955c177c1 100644 (file)
--- a/extra/git-tool/git-tool.factor
+++ b/extra/git-tool/git-tool.factor
@@ -458,7 +458,7 @@ TUPLE: <git-status>
       
       PILE add-gadget ]
 
-    REPO            <pile> 1 >>fill tuck refresh-remotes-pile add-gadget
+    REPO <pile> 1 >>fill tuck refresh-remotes-pile add-gadget
 
   "Git" open-window ;