Closed
Description
openedon Sep 11, 2018
When #283 is done, it would be nice to then add reviewers to the PR. For now this kind of operation need to be done leaving the editor.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment