diff options
| author | Mathias Kinzler | 2010-10-12 16:38:54 +0000 |
|---|---|---|
| committer | Jens Baumgart | 2010-10-13 08:32:04 +0000 |
| commit | 39da7d34c48bf89ebf546f9ac49497a4e1ab8391 (patch) | |
| tree | dc5156a14137ea7406dc5310ae844db1dddbc0e1 /org.eclipse.egit.ui/plugin.properties | |
| parent | 7a0b8013afec2481a778c5658d58cdeef45a0aa4 (diff) | |
| download | egit-39da7d34c48bf89ebf546f9ac49497a4e1ab8391.tar.gz egit-39da7d34c48bf89ebf546f9ac49497a4e1ab8391.tar.xz egit-39da7d34c48bf89ebf546f9ac49497a4e1ab8391.zip | |
Add "Pull" action to Team menu
This uses the new JGit Pull Command API which doesn't offer any
parameters (yet) and assumes that the upstream configuration for the
currently checked out branch specifies the correct origin and remote
branch for merging.
Bug: 303404
Change-Id: I5ad04c7e46e754ae46c4e56400fae185b57aa2d6
Signed-off-by: Mathias Kinzler <mathias.kinzler@sap.com>
Diffstat (limited to 'org.eclipse.egit.ui/plugin.properties')
| -rw-r--r-- | org.eclipse.egit.ui/plugin.properties | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.egit.ui/plugin.properties b/org.eclipse.egit.ui/plugin.properties index 49811a9202..758e7a89b0 100644 --- a/org.eclipse.egit.ui/plugin.properties +++ b/org.eclipse.egit.ui/plugin.properties @@ -189,4 +189,5 @@ CreateRepositoryWizard.name = Git Repository HierarchyLayout.label = &Hierarchical Branch Layout ToggleLayoutCommand.name = Toggle Branch Representation RepoViewHierarchicalBranchRepresenation.tooltip = Hierarchical Branch Layout -ConfigureTraceCommand.name = Configure Git Debug Trace
\ No newline at end of file +ConfigureTraceCommand.name = Configure Git Debug Trace +PullIntoCurrentBranchMenuLabel = P&ull
\ No newline at end of file |