[jaxbot]

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.