Clarify that we use 'divvy push' since the @github API isn't handling uploads at the moment.