I was wondering that the scriptLoader could probably do that but I need some time.
On Nov 9, 2013, at 1:50 PM, Marcus Denker <marcus.den...@inria.fr> wrote: > > On 09 Nov 2013, at 13:46, Stéphane Ducasse <stephane.duca...@inria.fr> wrote: > >> Igor >> >> your process should be like what sven is doing for Zinc >> >> You publish to NB >> When we modify NB in the image, you merge back in your repo and push in the >> inbox or with a new configuration >> that loads in the latest image. >> >> NativeBoost-Core-MarcusDenker.115 probably because marcus merged a change on >> his machine and that our process >> only pushes the merged version or something like that. ;( >> > > Yes… Monticello misses a push operation that pushes the current and all the > intermediate commits… managing that by hand > is impossible. > > Marcus
