May 11, 2023 Replying to: mastodon.social @philnash I need to better familiarize myself with the developer lingo. What’s a “pull request”?