Rename SumTree::push_tree to ::append (#2626)

This is something I've been meaning to rename in SumTree. Was looking at
the code and figure why not now.
03993ea719Nathan Sobo committed on 6/20/2023, 2:37:55 PM· committed by GitHubparentsadccfdf8c298a9
12 files changedLine totals unavailable