Update Github.hs