diff options
| author | Thomas Wolf | 2017-06-20 10:40:35 +0000 |
|---|---|---|
| committer | Thomas Wolf | 2017-06-28 07:24:47 +0000 |
| commit | ff82d4450518a7e98ecbc70ed778acf3592b926c (patch) | |
| tree | 2b2eab408413dbfd12bf283f13f41e2dcaee05d1 /org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/uitext.properties | |
| parent | 3101a2e1705a8f60e2c8cdb92ccd887e7865699e (diff) | |
| download | egit-ff82d4450518a7e98ecbc70ed778acf3592b926c.tar.gz egit-ff82d4450518a7e98ecbc70ed778acf3592b926c.tar.xz egit-ff82d4450518a7e98ecbc70ed778acf3592b926c.zip | |
FetchGerritChangePage: validate change ref against advertised refs
If the background git ls-remote has finished when we validate the
page, also check that the Gerrit server actually advertises the
specified ref.
Change-Id: I0c5ec3da3d08f9995167291f6d2d3441124474f7
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
Diffstat (limited to 'org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/uitext.properties')
| -rw-r--r-- | org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/uitext.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/uitext.properties b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/uitext.properties index 8c708d222d..4eed8cf0ac 100644 --- a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/uitext.properties +++ b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/uitext.properties @@ -969,6 +969,7 @@ FetchGerritChangePage_ShowingProposalsJobName=Showing proposals FetchGerritChangePage_SuggestedRefNamePattern=change/{0}/{1} FetchGerritChangePage_TagNameText=Tag &name: FetchGerritChangePage_TagRadio=Create and check out a &tag +FetchGerritChangePage_UnknownChangeRefMessage=The Gerrit server has no patch set for this change reference. FetchGerritChangePage_UpdateRadio=U&pdate FETCH_HEAD only FetchGerritChangePage_UriLabel=&URI: FetchGerritChangeWizard_WizardTitle=Fetch a change from Gerrit |