Emmanuel Trillaud <etrillaud@xxxxxxxxx> writes: > according to git-push(1), the following long-options are missing to the bash > completion : > --porcelain > --thin > --no-thin Does it even make sense to complete --porcelain in interactive session? For that matter, I think being able to control --thin/--no-thin outlived their usefulness. Have you ever used them to toggle this aspect of the behaviour per invocation? -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html