Community
Participate
Working Groups
See [1]. In PushCommand, add code to determine a remote, if none given, using (in this sequence) branch.<name>.pushRemote remote.pushDefault branch.<name>.remote "origin" [1] https://git-scm.com/docs/git-config#Documentation/git-config.txt-pushdefault
New Gerrit change created: https://git.eclipse.org/r/c/jgit/jgit/+/190728
Gerrit change https://git.eclipse.org/r/c/jgit/jgit/+/190728 was merged to [master]. Commit: http://git.eclipse.org/c/jgit/jgit.git/commit/?id=855a734875c2f178a8adfd0789527afc8754117f