GitHub Integration doesn't list all repos
When I want to configure github integration for user numba
, it doesn't show repository numba/numba-benchmark
, even though the latter exists.
When I want to configure github integration for user numba
, it doesn't show repository numba/numba-benchmark
, even though the latter exists.