Hacker News new | ask | show | jobs
by phalgun_g 4419 days ago
also what if your pull request doesn't get merged?
1 comments
jaxbot 4419 days 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.
link