[Toybox] Plans for dealing with upcoming loss of microsoft github login.

[Rob Landley]

Decision time coming up, and I'm working out how I want to handle it.

I can wget the URL.patch for pull requests and "git am" them in my tree, 
which is what I've been doing all along since it avoids a merge commit. 
No problem there.

I'm told I can close issues by pushing a magic comment (but are issues 
the same as pull requests for that?), and I _think_ should be able to do 
that in a branch so I can close issues without polluting the history.

This of course leads to the problem of trash branches with junk commits 
in them, but I MIGHT be able to "git push --force" to delete remote 
branches from the command line? I haven't experimented yet but will 
probably take a stab at it before Microsoft's deadline. (Maybe create a 
junk top level repo? Dunno...)

If I lose the option to delete my repositories off of 
https://www.vice.com/en/article/github-users-want-to-sue-microsoft-for-training-an-ai-tool-with-their-code/ 
before Microsoft's ultimatum deadline, I'm likely to just delete them 
from there while I still can on general principles. (With the license I 
chose they could legally mirror it anywhere, but they can't claim it's 
"official" in any way and I will 100% block the IP of their scraper if I 
take it down for reasons and they try to automate putting it back.)

But if I can --force push to empty the branch, that's approximately as 
good as deleting the repo if it becomes necessary in future, meaning I 
don't HAVE to use-it-or-lose-it do it now. And of course I could always 
do what I did with https://github.com/landley/mkroot and just push an 
endcap commit there deleting everything in the old repo with a README 
explaining why and pointing to the new location. (In that case, the 
project was merged into toybox and the external one got increasingly 
stale, but users of the old one weren't NOTICING the new one, so... Left 
the full history intact and everything. Which probably makes sense here 
so I don't have to change all the old links to the history in my blog. 
People would totally open new issues there against the old tree, but eh...)

Rob