Having a documented API is nice, but I still wouldn't call it "trivial" to migrate out of.
Besides, we don't know if this API is going to stay around forever or whether it will be discontinued. (Unlike, e.g., the git repository itself, which will always be self-contained so easy to migrate away if needed.)
Besides, we don't know if this API is going to stay around forever or whether it will be discontinued. (Unlike, e.g., the git repository itself, which will always be self-contained so easy to migrate away if needed.)