Git/GitHub 3 GitHub: How to clone a repository with SSH Jul 27, 2025 GitHub: How to push verified commits on GitHub May 15, 2025 Types and Options of Git Merge Sep 11, 2024