This should be the top comment and the title should be changed. The title and ot...

		pca006132 on Aug 9, 2022 \| parent \| context \| favorite \| on: GitHub deleted accounts of people who contributed ... This should be the top comment and the title should be changed. The title and other comments made me wonder if GitHub deleted the account of all contributors to that repo, which is more serious than deleting the account of members in an organization.