maybe not in the sense that the GitHub owners are constantly refreshing the GitHub home page, but they could certainly have notifications set up for posts that mention GitHub. plus, anything as relevant as this is, is going to reach them pretty quickly by many different routes.