git push

Vangelis Mouhtsis vangelis at
Sat Apr 12 07:49:07 UTC 2014

Mike, Adrian hi,
I'm wondering after "git reset --hard HEAD~" if i do "git push"
what git will provide, the new commit or the old ones?
I mean with the fixed commits the old patches still exist, so
i wonder what will happens if i do "git push".


pub:   2048R/4DD72410
Key fingerprint:  A5BC 4190 DB4F E4F8 E1C2  CE15 59B2 3691 4DD7 2410

More information about the pkg-mate-team mailing list