Send in a PR then?

A pr that deletes the repo and bans the person from github?

No a PR that actually makes the world a better place. Be the change you want to see and all that.

	▲	pwdisswordfishz 9 hours ago \| parent [-]
		By deleting the repo and banning the person from GitHub?