I think shutting down the repo would be more than enough.

		ymolodtsov on Aug 10, 2022 \| parent \| context \| favorite \| on: GitHub deleted accounts of people who contributed ... I think shutting down the repo would be more than enough.