From: Colin Walters Date: Mon, 08 Jan 2018 20:42:33 GMT Subject: Re: upstreaming https://github.com/cgwalters/git-evtag ? Message-ID: <1515444153.3249266.1228432904.51A92479@webmail.messagingengine.com> In-Reply-To: <20180108204029.m42qyezojak4kohh@LykOS.localdomain> On Mon, Jan 8, 2018, at 3:40 PM, Santiago Torres wrote: > Hi, > > I personally like the idea of git-evtags, but I feel that they could be > made so that push certificates (and being hash-algorithm agnostic) > should provide the same functionality with less code. What's a "push certificate"? (I really tried to find it in Google, even going to page 4 where one can start to see tumbleweeds going by... I'm fairly certain you're not talking about something related to iOS notifications)