FetchGerritChangePage: validate change ref against advertised refs
commitff82d4450518a7e98ecbc70ed778acf3592b926c
authorThomas Wolf <thomas.wolf@paranor.ch>
Tue, 20 Jun 2017 10:40:35 +0000 (20 12:40 +0200)
committerThomas Wolf <thomas.wolf@paranor.ch>
Wed, 28 Jun 2017 07:24:47 +0000 (28 09:24 +0200)
tree2b2eab408413dbfd12bf283f13f41e2dcaee05d1
parent3101a2e1705a8f60e2c8cdb92ccd887e7865699e
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>
org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/UIText.java
org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/fetch/FetchGerritChangePage.java
org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/uitext.properties