Galvin Green Man: What TripAdvisor users think of the UK’s ‘best pub’