Hmm, it is rather inappropriate to push others' branch as a pull. There are differences in opinions, like I don't like having two scripts, one for 64 bits and one for 32-bit, so I deleted it - it is a personal choice not necessarily appropriate to everybody else. Anyway, I rather prefer a cherry-pick work flow instead of pull merge one, and every commit is independent, and supposedly you have a choice of NOT taking any one of them, without affecting the others.
Hmm, it is rather inappropriate to push others' branch as a pull. There are differences in opinions, like I don't like having two scripts, one for 64 bits and one for 32-bit, so I deleted it - it is a personal choice not necessarily appropriate to everybody else. Anyway, I rather prefer a cherry-pick work flow instead of pull merge one, and every commit is independent, and supposedly you have a choice of NOT taking any one of them, without affecting the others.