I don't understand the reasoning here, or you would benefit from dependent types. I am /also/ absolutely sure that /everything/ will shut down in X(company) years.
GitHub will not shutdown in X years. That's their main business. While Google has the tendency to shutdown products after their beta phase. From Google POV that's a side project to their ad biz.
Main businesses do fail (witness poor, beleaguered SourceForge). Meanwhile, Google's cloud ecosystem is a revenue-generator for the company; that does decrease the odds that it'll have the plug pulled.
I wonder how many people shy away from AWS on the thought that web services aren't Amazon's core business model.
