On 28/01/2017 à 20:10, Markus Fröschle wrote: > You should definitely try to avoid that. Better forget this option > exists at all, IMHO. This is a good advice. FYI, in EmuTOS, we just configured the remote repository to just forbid that. -- Vincent Rivière