I wouldn’t push someone else’s code into a Musk-owned repository.