]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'master' into stable-7.1 17/1203917/1
authorMatthias Sohn <matthias.sohn@sap.com>
Tue, 19 Nov 2024 13:58:31 +0000 (14:58 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 19 Nov 2024 13:58:31 +0000 (14:58 +0100)
* master:
  RecursiveMerger: fix boxing warning
  UploadPackTest: fix unclosed resource warning
  Suppress non-externalized string warnings
  Remove unused API problem filters
  PersonIdent: Use java.time instead of older Date and milliseconds
  GitTimeParser: A date parser using the java.time API
  Configure JDT to not raise error on deprecated class linked in javadoc
  Update Jetty to 12.0.15
  PullCommandTest: assert git status in some simple tests
  SystemReader: add method to get LocalDateTime
  SystemReader#now: make it a concrete method
  [errorprone] RawText: Add parenthesis for explicit op precedence
  MockSystemReader: create the right time zone
  RawText: improve performance of isCrLfText and isBinary
  SystemReader: Give a default implementation to #getTimezoneAt()
  [errorprone] ssh: suppress warning for arrays in records
  Don't fail when trying to prune pack which is already gone

Change-Id: I9161ba5dfa7ce4d0ba8ef44833124ecd414cb39d


Trivial merge