-
Notifications
You must be signed in to change notification settings - Fork 132
Pull requests: checkstyle/contribution
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
dependency: bump org.eclipse.jgit:org.eclipse.jgit from 6.10.0.202406032230-r to 7.1.0.202411261347-r in /patch-diff-report-tool
dependencies
Pull requests that update a dependency file
java
Pull requests that update Java code
#913
opened Dec 6, 2024 by
dependabot
bot
Loading…
dependency: bump org.eclipse.jgit:org.eclipse.jgit from 6.10.0.202406032230-r to 7.1.0.202411261347-r in /releasenotes-builder
dependencies
Pull requests that update a dependency file
java
Pull requests that update Java code
#912
opened Dec 6, 2024 by
dependabot
bot
Loading…
minor: example of run for diff_antlr.sh and hack avoid pull of forked repo
blocked
#909
opened Nov 16, 2024 by
romani
Loading…
ProTip!
Exclude everything labeled
bug
with -label:bug.