Better than it being exposed to the entire world
Also I feel fairly confident Github/MS aren't about to change their business model to become a blackhat hacking collective
Also I feel fairly confident Github/MS aren't about to change their business model to become a blackhat hacking collective
Rotating the secret is 100% the correct thing to do in this case.
I think the risk of a GitHub employee introducing malicious code to scan memory and dump any tokens found for exhilaration is lower than the risk of my own employee or myself doing that.
Rotating the secret seems like a waste of resources in this situation.