Learn more about these different git repos.
Other Git URLs
6c171b3
on shutdown, use gulm_tool to determine node liveliness rather than nodeinfo