Re: [badges] [fedora-badges] #227: New badge idea: Contributed to a Fedora Infrastructure app