Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
When removing repos, drop them from the disabled-repos list as well as the enabled-repos so they no longer appear in the repo list. When an action empties the list, remove the setting instead of setting it to '@invalid()'.
- Loading branch information