Hello Olivier, I never did this but found this : http://stackoverflow.com/questions/3230074/git-pushing-specific-commit (in http://groups.google.com/group/git-users/browse_thread/thread/e20536c0f222d97a too) so : git push <remotename> <commit SHA>:<remotebranchname>
Hope it helps. Julien -- View this message in context: http://nabble.documentfoundation.org/Newbie-question-git-push-tp3641809p3641830.html Sent from the Dev mailing list archive at Nabble.com. _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice