README.md

## Scripts for Merging Ricardo's sources to VECTO-core.
#
# by ankostis

The merging of VECTO-AUX <--> VECTO-Core has happenned in these stages:

1. Identify fork-point in VECTO-code's history 
   (see `git-rewrite.sh`): 
       
	   milistone/2.0.4-beta 

2. FIXUP VECT-AUX sources to be similar to the above VECTO-core sources 
   (see `git-rewrite.sh`).


3. Merge the rewritten VECTO-AUX-sources into identified VECTO_Core version
   (see `rebase_aux.sh`).

4. Rebase re-written branch in step 2 onto merged-commit in step-3 (with many manual actions)
   (see `rebase_aux.sh`).

5. Append these tools into sources.

6. NEXT steps: 
   - Await Ricardo's fixes (TCs failing, aux-model discrepancy).
   - Merge with later milestones, till latest 2.2.

   
- The `del*.sh` files are utilities for other remotes,
  to delete refs now abandoned (not complete).

That's it.