Comment by stove

What is the relationship between GitHub and ICE? Is it ICE hosting their repos on GitHub or is it something more substantial?