Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
GitHub is where the world builds software
Millions of developers and companies build, ship, and maintain their software on GitHub — the largest and most advanced development platform in the world.
Add --force-with-lease completion for git push #4368
Besides the well known
With this PR I want to add completions for this switch.
As this is my first ever PR to the fish code base and I'm a fish user for less than a week, I very likely missed something. Plus it's hard for me to verify the correctness of the change besides changing that file locally, as I haven't set up the project for development (which also would kind of seem overkill for such a minor change).
In any case I'm happy to do additional changes to this PR, though I'm unsure about how relevant the template TODO items below are for such a change, especially when looking at comparable PRs (such as #4367)