]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd2a5a7) | patch
ReceivePack: allow push options to be set 55/79955/3
authorShawn Pearce <spearce@spearce.org>
Mon, 29 Aug 2016 18:54:15 +0000 (11:54 -0700)
committerShawn Pearce <spearce@spearce.org>
Mon, 29 Aug 2016 19:31:22 +0000 (12:31 -0700)
commit8e00a317b25a4b34890a6327554c929310009b8b
tree30e7283d8cf8f529b4b897b9db46d655cacf6cf7tree | snapshot
parentdd2a5a7faf66da61957ccf6a5241eef82bc0d2a4commit | diff
ReceivePack: allow push options to be set

Some embeddings of JGit require creating a ReceivePack instance in
another process from the one that handled the network socket with the
client.  Similar to the PushCertificate add a setter to allow the
option list to be supplied.

Change-Id: I303a30e54942ad067c79251eff8b53329c406628
org.eclipse.jgit/src/org/eclipse/jgit/transport/ReceivePack.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit