From fca24235785d8ce86cda6c79855bf6d8e42f77f4 Mon Sep 17 00:00:00 2001 From: Daniel Stenberg Date: Tue, 5 Nov 2024 11:03:27 +0100 Subject: [PATCH] people/contribs-leave.md: s/pushed/merged --- people/contribs-leave.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/people/contribs-leave.md b/people/contribs-leave.md index 45d7085..d176c4d 100644 --- a/people/contribs-leave.md +++ b/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