Lines Matching refs:pull

9 We accept patches in the form of github pull requests. If you are new to
10 github, please read [How to create github pull requests](https://help.github.com/articles/about-pul…
28 Before sending out your pull request, please familiarize yourself with the
34 Most pull requests should go to the master branch and the change will be
37 already merged to master, and then create a pull request cherry-picking the
40 For each pull request, a protobuf team member will be assigned to review the
41 pull request. For minor cleanups, the pull request may be merged right away
47 hear from you for 2 weeks or longer, we may close the pull request. You can
48 still send the pull request again once you have time to work on it.
50 Once a pull request is merged, we will take care of the rest and get it into
65   support from a protobuf team member before sending us the pull request.
90 * Apply the "release notes: yes" label if the pull request's description should
92   Apply the "release notes: no" label if the pull request's description should
96   pull request. This will make it easier to identify which languages the pull