fix not pushing a file