Skip to content

Conversation

@koppor
Copy link
Member

@koppor koppor commented Sep 13, 2025

This ports the manual changes of #13872 to a separate PR - to prepare a new formatting.

Pre-condition for: #13883

Mandatory checks

@koppor koppor marked this pull request as ready for review September 13, 2025 17:13
// We use "contains", because there could be SSH remote URLs
.filter(r -> r.getURIs().stream().anyMatch(uri -> uri.toString().contains("JabRef/jabref")))
.findFirst();
// We use "contains", because there could be SSH remote URLs
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

When Eclipse did this I was hit by Olly and others to revert this...

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@koppor does this need revert?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No - when touching the code, we can move remotes.stream() to the next line to have the dots properly aligned.

@subhramit subhramit merged commit 53acc92 into main Sep 13, 2025
37 checks passed
@subhramit subhramit deleted the fix-code-style branch September 13, 2025 17:15
Siedlerchr added a commit that referenced this pull request Sep 14, 2025
* upstream/main:
  Add hint on auto formatting (#13886)
  Add ADR-0050 on code formatter (#13895)
  Reformat codebase (more carefully) (#13885)
  New Crowdin updates (#13892)
  Fix record wrapping (#13889)
  Fix JavaDoc (#13888)
  Improve IntelliJ settings (#13887)
  Manual code reformattings (#13883)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants