top | item 7704749

(no title)

phalgun_g | 11 years ago

also what if your pull request doesn't get merged?

discuss

order

jaxbot|11 years ago

You still get your local contribution; merges are counted as contributions by the person who presses merge. It makes sense in terms of what really happens in terms of Git, I guess.