ruff
Track symbol deletions separately from bindings
#4888
Merged

Track symbol deletions separately from bindings #4888

charliermarsh merged 2 commits into main from charlie/declares
charliermarsh
charliermarsh charliermarsh requested a review from MichaReiser MichaReiser 3 years ago
charliermarsh
charliermarsh commented on 2023-06-06
charliermarsh charliermarsh force pushed from 1d9175a2 to ba5fee01 3 years ago
github-actions
charliermarsh charliermarsh force pushed from ba5fee01 to 6f50f53d 3 years ago
charliermarsh charliermarsh force pushed from 6f50f53d to e0e12dcd 3 years ago
charliermarsh charliermarsh force pushed from e0e12dcd to a6fb8d16 3 years ago
konstin
konstin approved these changes on 2023-06-06
MichaReiser
MichaReiser commented on 2023-06-06
charliermarsh Track symbol declarations separately from bindings
5cded472
charliermarsh charliermarsh force pushed from a6fb8d16 to 9e9ce5e5 3 years ago
charliermarsh charliermarsh changed the title Track symbol declarations separately from bindings Track symbol deletions separately from bindings 3 years ago
charliermarsh Only track deletions
13011d92
charliermarsh charliermarsh force pushed from 9e9ce5e5 to 13011d92 3 years ago
charliermarsh charliermarsh enabled auto-merge (squash) 3 years ago
charliermarsh charliermarsh merged 8c048b46 into main 3 years ago
charliermarsh charliermarsh deleted the charlie/declares branch 3 years ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone