He grabbed the .deb file, a free gift from the community to the community.

Then, install it via dpkg :

In this guide, we’ll explore how to install GitHub Desktop on Debian, Ubuntu, and other .deb -based distributions without spending a dime. Why Use GitHub Desktop on Linux?