Closed yihuang closed 1 year ago
removing what comments? i didnt touch anything other than merge. If i deleted a comment it would say a comments were deleted, not sure what youre talking about
@tac0turtle the comments are back, probably a hiccup within GH API, basically I left the comments above and you merged the PR - I saw the event merged and the comments were no were so I assumed you had deleted them to merge/don't stale.
Apologies! 🙇
Closes: #772
don't need to reference the children, which recursively retain the whole subtree in memory.