The point I am making is that even if they did, removing your code from GitHub doesn't help you: your code is going to end up on GitHub anyway; this is a strong

The point I am making is that even if they did, removing your code from GitHub doesn't help you: your code is going to end up on GitHub anyway; this is a stronger position that requires fewer assumptions.