Choose repositories

GitHub, not Pealboard, owns the list of repositories an App installation can see. You choose it on GitHub’s installation screen, at install time and any time after.

Choosing at install time

GitHub offers two options:

• All repositories — every repository the organization has now, and every one it gains later.
• Only select repositories — a list you pick.

Choose All repositories if you want new repositories to appear in Pealboard without another visit to GitHub. Choose Only select repositories if the organization has repositories that should not be visible to the people in this workspace; a repository outside the installation is invisible to Pealboard, including to a workspace owner.

The Free plan connects up to 3 repositories. If the installation grants more than that, Settings → GitHub lists them and asks you to choose which three are enabled.

Changing the set later

1. Go to Settings → GitHub.
2. Select Change repositories on GitHub.
3. GitHub opens the installation’s settings page. Change the selection there and save.

GitHub tells Pealboard immediately. A repository you added is backfilled straight away; a repository you removed disappears from Issues, and any request whose issue lived there shows its portal status as it was at the moment the repository left.

What removing a repository does

It removes Pealboard’s copy. It does not delete, close or change the issues. Re-adding the repository re-reads them, including the requests that pointed at them, because the marker Pealboard writes into an issue body survives.

Next

The first sync.