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.denker@inria.fr> wrote:
On 09 Nov 2013, at 13:46, Stéphane Ducasse <stephane.ducasse@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