GitHub CEO Thomas Dohmke took to social media to acknowledge the importance of Indian developers in terms of their contribution to artificial intelligence (AI)