Optimization: Map GitHub API repositories during pagination, not after

[jankeromnes]

Bug description

Follow-up from #9231:

We could try to push our map function into paginate to be more conscious about memory usage

...

so we can drop all fields we do not need before accumulating them in the repositories array.

Relevant code:

gitpod/components/server/ee/src/prebuilds/github-service.ts

Lines 30 to 45 in d1bb3bd

	const adminRepositories = await octokit.paginate(
	octokit.repos.listForAuthenticatedUser,
	{ per_page: 100 },
	(response) => response.data.filter((r) => !!r.permissions?.admin),
	);
	return adminRepositories.map((r) => {
	return <ProviderRepository>{
	name: r.name,
	cloneUrl: r.clone_url,
	account: r.owner.login,
	accountAvatarUrl: r.owner.gravatar_id
	? `https://www.gravatar.com/avatar/${r.owner.gravatar_id}?size=128`
	: r.owner.avatar_url,
	updatedAt: r.updated_at,
	};
	});

Steps to reproduce

1. ?

Workspace affected

No response

Expected behavior

No response

Example repository

No response

Anything else?

No response