GitHub Launch UI: new repo selector

Hey there! Here’s a quick fresh produce for y’all.

We updated the repo chooser component to be scoped by org. We did it for two reasons actually:

  • It simplify the UX when folks have multiple orgs
  • It will respect your choice of repos you wanted to share with Fly.io (click Manage GitHub Integration to share more or less repos with us!).

Als this fixes privates repos showing in the list (yay!). You will also notice that after the first load the search field should be faster.

The nerdy details

We started using GitHub Apps API instead of just GitHub API so you could have the two niceties described above. This will also help some future work we need to do in our platform for UI launching.

4 Likes