finally managing to commit results. Leasson learnt: never use git
without backup.