Makes me wonder if Microsoft GitHub should not make it a more specific action to relicense a repo.

That would solve any ambiguities around the script Microsoft wrote.

"Are you sure you want to change the license?" Yes / No.

Perhaps a specific API call when you are doing it with a script.