Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Add entries to scm/git context menu for force pushing #60387
This PR adds entries for the feature introduced with #53286 to the scm/git context menu. This uses the same logic to display as other push related entries on the same menu plus the force push setting toggle, which is disabled by default.
This makes it more simple to use for some users who prefer menus instead of the command palette, while being still hidden by default and displaying a warning before use, thus preventing users unaware of the possible drawbacks from accidentally using it.