Re: [badges] [fedora-badges] #332: Fedora Public Agent Badge