Utilities for deploying our IRC bot, hal. - View it on GitHub