First, they decided where to make the cut on the smaller section over the back of the Hut and where to tie off the remainder so that nothing would crash down or ricochet.
This is what the break in the tree over the roof looked like.
Then they figured out how to push out the rest of the tree so it would swing out faster than it would fall down so that it wouldn't smash the porch.
The tree missed the porch with a foot or two to spare!
Even though the roof appears to be intact, some of the cedar shingles are damaged, so a large tarp is secured over the roof until the roofer can do his thing. Dan the Tree Guy will probably come back and take away the tree when he has time. At this point, the tree is not endangering anything so it can sit where it is.