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

Feature Request: Clean up branches that were deleted on the remote #639

Closed
timschumi opened this issue Jan 4, 2017 · 2 comments
Closed

Feature Request: Clean up branches that were deleted on the remote #639

timschumi opened this issue Jan 4, 2017 · 2 comments
Labels
help wanted usability

Comments

@timschumi
Copy link

timschumi commented Jan 4, 2017 •
edited
Loading

Much like the function in git-gui. In git-gui it's under Remote->Prune from
@davvid
Copy link
Member

davvid commented Jan 7, 2017

Good idea! This should be pretty simple to implement -- we just need to execute git fetch --prune asynchronously.

@timschumi
Copy link
Author

Any updates on this?

kslane pushed a commit to kslane/git-cola that referenced this issue Apr 8, 2017
Add prune option for fetch
d982bde 
Feature git-cola#639
kslane pushed a commit to kslane/git-cola that referenced this issue Apr 8, 2017
Add prune option for fetch
a8bc646 
Feature git-cola#639
@kslane kslane mentioned this issue Apr 8, 2017
Merged
@davvid davvid closed this as completed in cb6ba33 Apr 10, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
help wanted usability
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@davvid @timschumi