Lines Matching full:pull

28 notified of pull requests and new issues posted there.
136 Ideally you file a [pull request on
142 it into a pull request for you, to have the CI jobs verify it proper before it
156 ### About pull requests
158 With GitHub it is easy to send a [pull
162 We strongly prefer pull requests to mailed patches, as it makes it a proper
167 Every pull request submitted is automatically tested in several different
173 try to update your pull requests to rerun the tests later as described below.
175 You can update your pull requests by pushing new commits or force-pushing
179 When you adjust your pull requests after review, consider squashing the
182 A pull request sent to the project might get labeled `needs-votes` by a
184 checks and qualifications this pull request must also receive more "votes" of
194 to the list or better yet: change it to a pull request.
259 repo instead of sending changes as pull requests or by mail as patches.
312 There is a CI job called **REUSE compliance / check** that runs on every pull