On Thu, 20 Dec 2018 17:28:42 +0100 Ludovic Courtès wrote: > Then again, I expect that a growing number of packages will be obtained > through ‘git-fetch’, and the updater for such a thing is trivial > (interestingly it’s not yet implemented though :-)). See http://debbugs.gnu.org/cgi/bugreport.cgi?bug=33809 `~Eric