Dari git-clone (1) Halaman Manual --branch juga dapat mengambil tag dan melepaskan HEAD pada komit di repositori yang dihasilkan. Saya mencoba git clone --branch <tag_name> <repo_url> Tapi itu tidak berhasil. Ia mengembalikan: warning: Remote branch 2.13.0 not found in...