Troubleshooting git push build failures

Follow