[git] git push says "everything up-to-date" even though I have local changes