DOPΣ - <https://github.com/tscircuit/tscircuit....
https://github.com/tscircuit/tscircuit.com/pull/1680 ey, isnt bounty available for maintainers? isnt awarded
2 Replies
the bounty is already claimed iiuc
https://github.com/tscircuit/tscircuit.com/issues/1678
GitHub
Issue with saving/renaming · Issue #1678 · tscircuit/tscircuit.com
Happened on a private package CC @ArnavK-09 /bounty $50
that claim pr was bugged 🥀, fixed that even