Contextualizebeta

pull request

noun

Definitions

  1. A request to a repository maintainer to pull in and merge a proposed source code or other…

    A request to a repository maintainer to pull in and merge a proposed source code or other change.

  2. To submit a pull request.

    • The GitHub Archive records any user activity (forking, pull requesting, commenting) on the social coding site GitHub. We queried the GitHub Archive for users who had specified a company name (non-empty string) in their GitHub profile[…]
    • We denote the estimated interests of a developer given a repository that he or she forked, watched, committed or pull-requested in GitHub as I(r). Similarly, we denote the estimated interests of a developer given a question that he[…]
    • GitHub Data Analysis and Its Recommender Systems In this subsection the authors present some related research works ... have studied different user behaviors on GitHub like forking, watching, commenting on issues, pull-requesting and[…]

The neighborhood

Vish — recursive loop

No curated loop yet for pull request. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA