Subject: RE: how to rename remote branches, the long way

From: Antoine Beaupré <[email-masked]>
Date: Sat, 24 Apr 2021 11:05:18 -0400

On 2021-04-23 22:44:34, Felipe Contreras wrote:

[...]

Well, that attempt at working with git upstream went about as bad as I
expected. I was afraid I'd get ignored or worse, get dragged into the
naming debate.

Seems I got both, amazingly enough. I guess that I'll take that as a
"no, not welcome here" and move on...

A.