Andrew Ferrazzutti 3ca61b9e02
Reorganize the GitHub config widget (#508)
- Group repos by org
- Paginate repo requests
- Remove redundant label next to chosen repo
- Remove redundant repo field below connected repo
- Include repos that user has doesn't have admin permissions for, to
  achieve parity with results from provisioning API
2022-10-03 10:43:16 -04:00
..
2022-05-06 09:57:18 +01:00
2022-09-30 11:52:31 -04:00
2022-05-06 09:57:18 +01:00