Von git-clone (1) Handbuchseite --branch kann auch Tags nehmen und den HEAD bei diesem Commit im resultierenden Repository trennen. Ich habe es versucht git clone --branch <tag_name> <repo_url> Aber es funktioniert nicht. Es gibt zurück: warning: Remote branch 2.13.0 not found in...