diff options
author | Thomas Wolf <thomas.wolf@paranor.ch> | 2022-02-09 18:33:31 +0100 |
---|---|---|
committer | Thomas Wolf <thomas.wolf@paranor.ch> | 2022-02-09 18:33:31 +0100 |
commit | 2883762219e37dc88d7592b4b8f7d5b115baac04 (patch) | |
tree | 03f7dcf9d2b4ab623d06b4dada2949a9753ee3c4 /org.eclipse.jgit/.settings | |
parent | 0d2825cdcdecd5c55fb9e6fc4c54f7c8d994f1bf (diff) | |
download | jgit-2883762219e37dc88d7592b4b8f7d5b115baac04.tar.gz jgit-2883762219e37dc88d7592b4b8f7d5b115baac04.zip |
Support for git config push.default
Enhance the (unused!?) PushConfig; include a PushDefault enumeration.
Add simple tests for this PushConfig.
Bug: 351314
Change-Id: Ibc5656a2a1fccf70d00c5e15de8ed3dd8add6337
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
Diffstat (limited to 'org.eclipse.jgit/.settings')
-rw-r--r-- | org.eclipse.jgit/.settings/.api_filters | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters index cdf17402a5..792a0c91c2 100644 --- a/org.eclipse.jgit/.settings/.api_filters +++ b/org.eclipse.jgit/.settings/.api_filters @@ -17,4 +17,12 @@ </message_arguments> </filter> </resource> + <resource path="src/org/eclipse/jgit/transport/PushConfig.java" type="org.eclipse.jgit.transport.PushConfig"> + <filter id="338722907"> + <message_arguments> + <message_argument value="org.eclipse.jgit.transport.PushConfig"/> + <message_argument value="PushConfig()"/> + </message_arguments> + </filter> + </resource> </component> |