executed git rm -r syn