| Summary: | "Push..." doesn't update remote refs in local repository | ||||||
|---|---|---|---|---|---|---|---|
| Product: | [Technology] EGit | Reporter: | Florent Paillard <fpaillard> | ||||
| Component: | UI | Assignee: | Project Inbox <egit.ui-inbox> | ||||
| Status: | NEW --- | QA Contact: | |||||
| Severity: | normal | ||||||
| Priority: | P3 | CC: | karenfbutzke, webcane | ||||
| Version: | unspecified | ||||||
| Target Milestone: | --- | ||||||
| Hardware: | PC | ||||||
| OS: | Windows 7 | ||||||
| Whiteboard: | |||||||
| Attachments: |
|
||||||
|
Description
Florent Paillard
Yes, that's missing. The (technical) reason is that the PushWizard does not use the origin name but the URI to call JGit's push command. JGit's push command works correctly, it only updates the remote tracking branch if a remote name is given, but not when a URI is given. Thanks Stefan for your answer. I well understand the point, particularly when the PushWizard is used with a "Custom URI". That would be nice if the PushWizard could update the remote tracking branch when used with a "Configured remote repository". Best Regards, Created attachment 249912 [details]
compare dialog shows right remote commit number in opposite of Git Repositories view
add screenshot
|