people/contribs-leave.md: s/pushed/merged

people/contribs-leave.md

@@ -4,7 +4,7 @@ Hardly anyone will stick around. People contribute a lot, but few actually
 care for the "big picture" and stay around to work with the project for more
 than a short while to get their changes incorporated. You should more or less
 expect that the person who just brought you the most excellent bugfix will
-not be around anymore once you have pushed their patch.
+not be around anymore once you have merged their patch.
 
 Many contributors are just users who will fix a specific problem or an issue
 that they have and want fixed, and once that is done their mission in your