Skip to content

Improve clarity and correctness in RRF documentation#1795

Merged
cstamas merged 1 commit intomasterfrom
elharo-patch-1
Feb 12, 2026
Merged

Improve clarity and correctness in RRF documentation#1795
cstamas merged 1 commit intomasterfrom
elharo-patch-1

Conversation

@elharo
Copy link
Contributor

@elharo elharo commented Feb 11, 2026

Refined language and clarified concepts regarding Remote Repository Filtering in Maven documentation.

Refined language and clarified concepts regarding Remote Repository Filtering in Maven documentation.
@cstamas
Copy link
Member

cstamas commented Feb 11, 2026

Can you pls take a peek at #1794 as well?

@cstamas
Copy link
Member

cstamas commented Feb 12, 2026

@elharo I plan release today/tomorrow (soon), can you finish this in this timeframe or should I go along with release (we planned last week the release, but we got bugreports that had to be fixed, goal is doing maven 3.9.13/4-rc-6 that both depends on resolver release).

@cstamas cstamas added this to the 2.0.15 milestone Feb 12, 2026
@cstamas
Copy link
Member

cstamas commented Feb 12, 2026

I scheduled this and #1794 for release 2.0.15. Please ping back during this workday (EU timezone), as I would like to release 2.0.15 very soon, and I don't consider these pages essential for that (bugfix) release. Worst can happen is that we have these two PRs in 2.0.16 (next) release.

@elharo elharo marked this pull request as ready for review February 12, 2026 13:04
@elharo
Copy link
Contributor Author

elharo commented Feb 12, 2026

I haven't finished going through the entire doc yet, and I might not finish that today, but if you want to take this much as is, it's still an improvement.

@cstamas
Copy link
Member

cstamas commented Feb 12, 2026

Iterating over is just fine, we can always improve step by step.

@cstamas cstamas merged commit fcd4290 into master Feb 12, 2026
21 checks passed
@cstamas cstamas deleted the elharo-patch-1 branch February 12, 2026 13:32
@github-actions
Copy link

@cstamas Please assign appropriate label to PR according to the type of change.

@cstamas cstamas added the documentation Improvements or additions to documentation label Feb 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants