So I just made a pull request to a buttplug.io repository under my government name. (That sounds extra wrong given the context.)

That's probably fiiiiine... right?