Deletion of Mike Gibbins

Comment: to Badfinger as has already been done with Pete Ham. Both guys are very notable, but they are notable as members of Badfinger. I'll |be bold and merge it now, which of course can be undone if concensus dictates
Stance: merge
Cited policy: Wikipedia:Be bold (WP:BOLD)