[projects] paginate listReposAccessibleToInstallation call

[AlexTugarev]

Description

Fetch more repos per installation.

Related Issue(s)

Fixes #5926

How to test

Try to select repos for GH App installations on orgs with more than 100 repos.

Release Notes

[Teams & Projects] Removes 100 repos limitation.

[jankeromnes]

What? How is this already 3 days old and I haven't noticed it 🤦

Many thanks @AlexTugarev for this really cool fix! Looking forward to test it:

/werft run

👍 started the job as gitpod-build-alex-impossible-to-add-a-project-5926.3

[AlexTugarev]

@jankeromnes, I thought it would be because of the GH App integration that no one wants to verify this ;-)

[jankeromnes]

In my defense, I received the email just a few minutes ago 🙄

Same thing for the Toast:

I blame GitHub for the delayed event push 😂

[jankeromnes]

Will now hook up my GitHub App and review this excellent PR 👍

[jankeromnes]

Namespace is gone again 🙄

/werft run

👍 started the job as gitpod-build-alex-impossible-to-add-a-project-5926.4

[jankeromnes]

GitHub App connected ✅

[jankeromnes]

Okay, the GitHub App setup doesn't work and is getting a bit tedious.

New plan: Merge this, test on staging, revert if it doesn't work. 🤠

[jankeromnes]

Many thanks, looks good to me! Let's launch this 🚀

[roboquat]

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: jankeromnes

Associated issue: #5926

The full list of commands accepted by this bot can be found here.

The pull request process is described here

Needs approval from an approver in each of these files:

• components/server/OWNERS [jankeromnes]

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment