Update doc/octo.txt

Co-authored-by: Alvaro Muñoz <[email protected]>
pwntester · Nov 6, 2024 · 02d0129 · 02d0129
1 parent df3bc51
commit 02d0129
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/octo.txt b/doc/octo.txt
@@ -59,7 +59,7 @@ See |octo-command-examples| for examples.
                           <C-b>   Open PR in browser.
                           <C-o>   Checkout PR.
                           <C-y>   Copy URL to system clipboard.
-                        Available filter keys: author,assignee,label,state,head,base,search,limit
+                        Available filter keys: author, assignee, label, state, head, base, search, limit
   search                Live PR search.
   edit [number] {repo}  Edits issue/PR with the given number in the current or
                         specified repo.