We have failures in our current releases related to pushing to GitHub. Rather than attempt to fix the problem, this just works around it by not pushing to GitHub anymore during a release and therefore releases will need to be a manual process going forward for now.
8bitgentleman
commented
8 years ago
We have failures in our current releases related to pushing to GitHub. Rather than attempt to fix the problem, this just works around it by not pushing to GitHub anymore during a release and therefore releases will need to be a manual process going forward for now.