Stefan Beller 609de52600 push: Do not use push options unless requested ... Unless the user passed --push-option, the client does not intend to pass push options to the server. Without this change, all pushes to servers without push option support fail. Not enabling the feature (instead of enabling it and sending an empty list of options) in this case is more intuitive and matches the behavior of C git push's --push-option parameter better. Bug: 500149 Change-Id: Ia4f13840cc54d8ba54e99b1432108f1c43022c53 Signed-off-by: Stefan Beller <sbeller@google.com>		2016-08-24 15:24:23 -07:00
..
.settings	Ignore 'The value of exception parameter is not used' warning	2016-07-26 10:16:49 +09:00
META-INF	Prepare 4.5.0-SNAPSHOT builds	2016-06-01 23:04:07 +02:00
resources	RepoCommand: remove --record-remote-branches	2016-05-25 17:11:21 -07:00
src/org/eclipse/jgit	push: Do not use push options unless requested	2016-08-24 15:24:23 -07:00
.classpath	Set minimum required Java version to Java 7	2015-02-09 14:11:50 +01:00
.gitignore	Finish removing Apache Felix maven-bundle-plugin	2010-01-12 11:46:55 -08:00
.project	Enforce the use of Java5 API:s only (with a few exceptions)	2011-12-16 01:01:36 +01:00
BUCK	Support LFS protocol and a file system based LFS storage	2016-02-04 17:49:43 +01:00
about.html	Add missing about.html files to all shipped bundles	2011-06-08 21:51:51 +02:00
build.properties	Add missing resources from source.. in build.properties	2013-10-30 17:42:38 +01:00
jgit.sh	Make jgit.sh work on windows when JGIT_CLASSPATH is set	2014-12-01 14:54:17 +01:00
plugin.properties	Fix plugin provider names to conform with release train requirement	2013-04-08 23:05:36 +02:00
pom.xml	Prepare 4.5.0-SNAPSHOT builds	2016-06-01 23:04:07 +02:00