He downloaded the .deb package from the GitHub website and installed it using the sudo dpkg -i command. After installation, he launched GitHub Desktop and was greeted by a clean and intuitive interface.