From 76a328a062e45430d518e318b6518a82dc4fc647 Mon Sep 17 00:00:00 2001 From: Zachary Yedidia Date: Wed, 5 Oct 2016 17:57:03 -0400 Subject: [PATCH] Use official plugin channel Use the channel for official plugins from https://github.com/micro-editor/plugin-channel Ref #378 --- cmd/micro/settings.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cmd/micro/settings.go b/cmd/micro/settings.go index de31c951..f25138bd 100644 --- a/cmd/micro/settings.go +++ b/cmd/micro/settings.go @@ -193,7 +193,7 @@ func DefaultGlobalSettings() map[string]interface{} { "tabsize": float64(4), "tabstospaces": false, "pluginchannels": []string{ - "https://www.boombuler.de/channel.json", + "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json", }, "pluginrepos": []string{}, }