Skip to content

Review/merge two PRs by @mindaugasrukas #268

Open
Open
Review/merge two PRs by @mindaugasrukas#268
Labels
graph/scip-rubyteam/graph

Description

@emidoots
emidoots
opened on Sep 24, 2026

#265

#266

These two PRs got closed as a result of changing the default branch of this repository in #267 to a newer branch (so that we benefit from 2+ years of changes in upstream Sorbet)

We should review these two PRs, rebase them onto the new master branch, and merge them.

Activity

  1. linear commented on Sep 24, 2026

    @linear
    linearBot
    on Sep 24, 2026 – with Linear

    OSS-24224

  2. github-actions
    added
    graph/scip-ruby
    team/graph
    on Sep 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    graph/scip-rubyteam/graph

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions