issues
search
micro-editor
/
plugin-channel
Official plugin channel for micro
223
stars
47
forks
source link
pin editorconfig repo.json to sha with a pinned channel.json
#46
Closed
joshuarli
closed
4 years ago
joshuarli
commented
4 years ago
See:
https://github.com/10sr/editorconfig-micro/commit/0d5d60520799ade785f120215a454f1117270ef3
https://github.com/10sr/editorconfig-micro/pull/10#issuecomment-574972295
See: