[forge-commits] [forge/plugin-repository] 718675: Merge pull request #17 from gastaldi/master