zyedidia/micro

[tommyshem]

Micro editor #1276 problems with plugin install error.

// Rubocop plugin
"https://raw.githubusercontent.com/computerers/micro-rubocop/master/repo.json"

plugin is missing, might have been deleted from github.

Needs removing from json file.