Community
Participate
Working Groups
1.1.0.201109151100 In the Git Repositories view, the "Remove Repository from View" command does not follow the convention of similarly named commands in the IDE. "Remove * from View" should only remove an item from the view. The view should then either show the item again when it is refreshed, or it should offer an explicit "Restore Removed Items" command. The CVS Repositories view uses "Discard location" for this command. Could you also call it "Discard Location" or "Discard Repository Location"?
Looked at this and discussed it with Markus: "remove" is the right term and given that the repository reappears if a project from the removed repository is used, the chosen name is OK.