Synopsis: git push not displaying username State-Changed-From-To: open->feedback State-Changed-By: leot%NetBSD.org@localhost State-Changed-When: Fri, 01 May 2020 17:11:05 +0000 State-Changed-Why: Probably better to open such PR upstream (not really a pkgsrc issue)