Don't push private files to GitHub v3.7.1