[introduction] Add missing files to git