Make missing plugin repo errors more informative#4087

JoeKar merged 2 commits into

micro-editor:mastermicro-editor/micro:masterfrom

dmytrovoytko:dmytrovoytko-patch-1dmytrovoytko/micro:dmytrovoytko-patch-1Copy head branch name to clipboard