Synopsis: git push not displaying username State-Changed-From-To: feedback->closed State-Changed-By: dholland%NetBSD.org@localhost State-Changed-When: Sat, 10 Jul 2021 21:50:02 +0000 State-Changed-Why: fixed