]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'master' into stable-7.0 70/1199470/1
authorMatthias Sohn <matthias.sohn@sap.com>
Tue, 20 Aug 2024 13:51:15 +0000 (15:51 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 20 Aug 2024 13:51:15 +0000 (15:51 +0200)
* master:
  Update tycho to 4.0.8
  Update org.eclipse.dash:license-tool-plugin to 1.1.0
  [ssh] Bump Apache MINA sshd 2.13.1 -> 2.13.2
  ConfigConstants: Add missing @since 7.0
  Fix "Comparison of narrow type with wide type in loop condition"
  ObjectWalk: Remove duplicated word "the" in class documentation
  RepoProject: read the 'dest-branch' attribute of a project
  Make RepoProject#setUpstream public
  RepoCommand: Add error to ManifestErrorException
  RepoCommand: Copy manifest upstream into .gitmodules ref field
  RepoProject: read the "upstream" attribute of a project
  JGit v5.13.3.202401111512-r

Change-Id: Ic40667e3a79b1f2a91a6a7278f2ac8bc1bdb2334


Trivial merge