AI is everywhere. As majority of companies already is using (and paying for) GitHub, it is worth to know what AI tools GitHub offers to developers.