| Summary: | Add a button in Repositories view to delete references | ||
|---|---|---|---|
| Product: | [Technology] EGit | Reporter: | Manuel Doninger <manuel.doninger> |
| Component: | UI | Assignee: | Project Inbox <egit.ui-inbox> |
| Status: | RESOLVED WORKSFORME | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | markus.kell.r, matthias.sohn |
| Version: | unspecified | ||
| Target Milestone: | --- | ||
| Hardware: | All | ||
| OS: | All | ||
| Whiteboard: | |||
|
Description
Manuel Doninger
What are the use cases why you want to delete them ? I first also wanted to request this, but after some googling and understanding where this is coming from, I now think it's futile to fight against references that are automatically created by some git commands (e.g. a rebase will create ORIG_HEAD). But it would be nice to have a way to filter some references from the History view, see bug 359111. filtering additional refs was implemented long ago, reachable via the view menu Show > Additional refs in the history view |