Patch Set 4: I would prefer that you didn't submit this

(1 inline comment)

- I like this change :-)
- the dynamic menu also shows Ref for tags which don't point to 
   commits (e.g. Shawn's public GPG signing key tagged "spearce-gpg-
   pub" in egit repo), I think these should be filtered out as synchronize
   doesn't know what a public GPG key is good for
- may you could add a separator between the different Ref types in the 
   submenu