Skip to content

Upgrade IRB and RDoc#3972

Merged
vinistock merged 1 commit intomainfrom
02-20-upgrade_irb_and_rdoc
Feb 20, 2026
Merged

Upgrade IRB and RDoc#3972
vinistock merged 1 commit intomainfrom
02-20-upgrade_irb_and_rdoc

Conversation

@vinistock
Copy link
Member

@vinistock vinistock commented Feb 20, 2026

Motivation

The debugger is crashing on main, but upgrading IRB fixes it.

@vinistock vinistock self-assigned this Feb 20, 2026
@vinistock vinistock added the chore Chore task label Feb 20, 2026 — with Graphite App
Copy link
Member Author


How to use the Graphite Merge Queue

Add the label graphite-merge to this PR to add it to the merge queue.

You must have a Graphite account in order to use the merge queue. Sign up using this link.

An organization admin has enabled the Graphite Merge Queue in this repository.

Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue.

This stack of pull requests is managed by Graphite. Learn more about stacking.

@vinistock vinistock marked this pull request as ready for review February 20, 2026 22:12
@vinistock vinistock requested a review from a team as a code owner February 20, 2026 22:12
@vinistock vinistock enabled auto-merge February 20, 2026 22:12
@vinistock vinistock merged commit 4a7b6a6 into main Feb 20, 2026
39 checks passed
@vinistock vinistock deleted the 02-20-upgrade_irb_and_rdoc branch February 20, 2026 23:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Chore task

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants