It's only fitting Joe Gormley gets a mention if miners union leaders are getting a mention.
www.theguardian.com
Gormley and Buckton named as special branch informers
Joe Gormley, the miners' leader who presided over two successful strikes against the government in the early 1970s, was named yesterday as a police special branch informer.

