gbin contributed to copper-project/copper-rs

Wait 5 sec.

gbin merged copper-project/copper-rs#1157 · June 27, 2026 07:19 Don't notify the abandoned satellites repos #1157 SummaryRelated issuesCloses #ChangesReminder I ran just from the repo root I have updated docs or examples where neededAdditional context +0 -6