Migrate tla related stuff to git