La soluzione più semplice qui è specifica per il plugin docker manager. Non sono sicuro di come mi senta riguardo all’esecuzione di un comando git aggiuntivo o alla ricerca dei remotes git per ogni plugin, ogni volta che avviamo.
Tuttavia, il plugin docker manager potrebbe svolgere questo lavoro aggiuntivo e mostrare una grande icona rossa sui plugin ufficiali che sembrano essere fork.
Inserirò
per la prossima release, quindi avverrà nei prossimi 6 mesi circa.
pr-welcome anche se qualcuno vuole sperimentare con docker manager.