Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Force Push #159

Closed
morganlombard opened this issue Aug 14, 2019 · 2 comments
Closed

Force Push #159

morganlombard opened this issue Aug 14, 2019 · 2 comments
Assignees
@mhutchie
Labels
feature request Feature request
Projects
Git Graph
Milestone
v1.13.0

Comments

@morganlombard
Copy link

Can you add an option, that when pushing a branch, to do a force push? This should not be the default option.
@morganlombard morganlombard added the feature request Feature request label Aug 14, 2019
@mhutchie
Copy link
Owner

Thanks for raising this suggestion, this would definitely be worth having.

I'll add it in the next release!

@mhutchie mhutchie added this to the v1.13.0 milestone Aug 14, 2019
@mhutchie mhutchie added this to To Do in Git Graph Aug 15, 2019
@mhutchie mhutchie moved this from To Do to In Progress in Git Graph Aug 15, 2019
mhutchie added a commit that referenced this issue Aug 15, 2019
@mhutchie
#159 Added force push option on the "Push Branch" dialog.
d347356
@mhutchie mhutchie moved this from In Progress to Ready For Release in Git Graph Aug 15, 2019
@mhutchie
Copy link
Owner

This will be available in v1.13.0, which will be released in the next day.

@mhutchie mhutchie moved this from Ready For Release to Released in Git Graph Aug 16, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mhutchie mhutchie

Labels
feature request Feature request
Projects
Git Graph
Released
Milestone
v1.13.0
Development

No branches or pull requests
2 participants
@morganlombard @mhutchie