<p>the answer was: GitHub Marketplace! <a href="https://github.blog/2017-05-22-introducing-github-marketplace-and-more-tools-to-customize-your-workflow/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">github.blog/2017-05-22-introdu</span><span class="invisible">cing-github-marketplace-and-more-tools-to-customize-your-workflow/</span></a></p>