Precisely! Locking yourself to github platform and then being unable to react to whatever strange rules Microsoft applies to it, doesn't sound exciting. I suppose there could be a script that uses github API to effectively scrub all the data off a repository?