GitHub GUI Client no se sincroniza

La GUI de GitHub no se sincroniza. Agregando esto para el logging.

$ git status On branch master Your branch is ahead of 'origin/master' by 2 commits. (use "git push" to publish your local commits) nothing to commit, working tree clean 

Pero

 git push 

No hace nada. Reinstalé la GUI y obtuve errores con files dll de cero bytes en

 AppData/Local/GitHub/PortableGit_*/mingw32db/libexec/git-core 

Quité esos files y la GUI volvió a funcionar, sincronizando correctamente los files comprometidos. Esto ha sucedido media docena de veces. Voy a abandonar la GUI a favor de un poco de sabor a shell. No necesito una respuesta porque tengo una solución alternativa (git bash) pero si alguien sabe cómo se complica y cómo detenerla, me interesaría; la GUI tiene algunas ventajas sobre los shells de text.