A Visual Studio Code extension that adds a "Push with Options..." command to the Source Control view, allowing you to push the current branch with custom git push options.
- Adds "Push with Options..." button to Git source control menu
- Supports predefined push options via
.push-optionsconfiguration file - Supports selecting multiple options at once (using Space key)
- Quick pick menu for common and custom push options
- Works with the current branch
- Shows progress during push operation
- Provides feedback on success/failure
You can define project-specific push options by creating a .push-options file in your repository root. Each option should be on a new line, with optional comments starting with #. These options will be available for multi-selection along with the default options.
Example .push-options file:
# Force push to remote
--force-with-lease
# skip running ci after push
--push-option=ci.skip
# run a full pipeline
--push-option=ci.variable="FULL_PIPELINE=true"
# create a merge request after push
--push-option=merge_request.create
# create a draft merge request
--push-option=merge_request.draft
The comments above each option will be shown as descriptions in the quick pick menu.
- Git must be installed and available in the system PATH
- VSCode version 1.96.0 or higher
- Open a Git repository in VSCode
- Open the Source Control view (Ctrl+Shift+G)
- Right-click on any changed file or the "Changes" group
- Select "Push with Options..."
- Select one or more options using Space key
- Options from your
.push-optionsfile will appear at the top - Common options like --force-with-lease are always available
- Choose "Custom..." to enter options manually
- Options from your
- Press Enter to execute the push command with all selected options
This extension does not contribute any settings.
None at this time.
Initial release:
- Add "Push with Options..." command with multi-select support
- Support custom and predefined push options
- Support
.push-optionsconfiguration file - Show progress and status notifications