Function deleteRepository

source/features/quick-repo-deletion.tsx:27–34

()

}

async function deleteRepository(): Promise<void> {
	const {nameWithOwner} = getRepo()!;
	await expectTokenScope('delete_repo');
	await api.v3('/repos/' + nameWithOwner, {
		method: 'DELETE',
		responseFormat: 'text',
	});
}

async function modifyUiAfterSuccessfulDeletion(): Promise<void> {
	const {nameWithOwner, owner} = getRepo()!;