Okay found a poll with ~700 votes. It turns out ChatGPT is the most used compared to the "older" Copilot from Github. And that the adoption rate of AI helper for software development is still quite low.