How to transfer a GitHub-based Mage2.PRO extension from a website's test location to the production one?

There are 2 ways to transfer a GitHub-based Mage2.PRO extension from a website’s test location to the production one: