Zulip Chat Archive

Stream: triage

Topic: PR !4#32583: refactor(SimpleGraph): change bridges not to...


Random Issue Bot (Feb 18 2026 at 14:27):

Today I chose PR #32583 for discussion!

refactor(SimpleGraph): change bridges not to require the edge to be present
Created by @None (@MJ141592) on 2025-12-08
Labels: awaiting-author, t-combinatorics, new-contributor

Is this PR still relevant? Any recent updates? Anyone making progress?

Snir Broshi (Feb 18 2026 at 21:08):

This is by @Matthew Johnson but they're not subscribed to this channel.
The status is that we're waiting for them to make the PR sorry-free.

Yaël Dillies (Feb 19 2026 at 17:04):

Matthew told me personally that he was unlikely to have time to finish this PR off in the coming months


Last updated: Feb 28 2026 at 14:05 UTC