On Wed, May 20, 2020 at 07:45:58PM -0700, Jonathan Nieder wrote: > > Protocol v2 for push still does not exist, but we > have plans to introduce it soon (reusing more code from v0 push, so > this would hopefully have fewer teething pains than v2 for fetch). Thanks for the explanation; I wasn't aware push was indeed still not implemented and was indeed puzzled by that code, which I found while looking at some unrelated issue. Carlo
