The Push command in command palette shows options like the following
Does custom command supports options, too? If so, is there documentation for how to create custom command with options?
An example use case for this would be for a custom command for “Reset …” that could have options with --hard.
Not at the moment. Once the Plugin API is released there will likely be a defined approach for this.
An example use case for this would be for a custom command for “Reset …” that could have options with --hard.
I realize you were just giving reset --hard as an example, but this option does exist in the right click menu on commits in the commit tree. Select “Reset to This Commit” which then gives you the option of Soft, Mixed, and Hard. I wonder if attempting something like a reset from the command palette would be difficult because the target commit would be ambiguous.