Initial tla -> git updates/conversions