Nowadays every time @github announces a new feature my first thought is “but you’re still working with ICE”. And that’s why I’ve not created a new repo there since October, and why I’m gradually moving away.