Le modifiche ai plugin core sono incluse insieme ad altre modifiche core, quindi mancano solo i “plugin ufficiali non core”. Aggiungere modifiche da altri repository è qualcosa che potremmo considerare in futuro, ma non ci sono piani immediati per implementarlo.
Per i plugin non core (sia ufficiali che di terze parti), GitHub è probabilmente il modo migliore per monitorare le loro modifiche per ora.
Buona idea! Potrebbe essere un po’ complicato da implementare, perché l’elenco dei commit è implementato come una “lista virtuale”, dove vengono renderizzati solo gli elementi visibili sullo schermo… ma vedrò cosa posso fare.