I wanted to add another developer but a weird thing happened.
- Logged into the Dashboard and navigated to the repo of interest (hgrecco/pint)
- Opened the Settings Tab. The Reviewers list was fine but there was no text box to add a new one.
- Opened GitHub in another browser tab, repo > Settings > App and integrations > Bors > Configure
- Everything seemed fine, went back to the Bors Dashboard, refresh the page and the Reviewers list was empty (except for me). The text box was still not there.