teaching: drop trailing ".git" from git clone info