GITHUB: merge to main pushes gem to rubygems.org