Re: [boost] [githelp] Moving from push to pull requests

________________________________________ From: Boost [boost-bounces@lists.boost.org] on behalf of Jessica Hamilton [jessica.l.hamilton@gmail.com] Sent: 29 April 2015 22:46 To: boost@lists.boost.org Subject: Re: [boost] [githelp] Moving from push to pull requests

On 30 April 2015 at 09:42, Fletcher, John P wrote:

...

I have been working for some time on boost phoenix using

git push origin develop

to push my changes. I have now been asked to change to use pull requests and I am not clear about how to > >get into the new setup.

You should push to a feature branch, and then create a PR from your feature branch to develop.

It looks easier than I thought. In the main version I can do git checkout -b feature/whatever develop I can make changes in feature/whatever and then push it to the repository: git push origin feature/whatever (which makes a new branch there) and then do a pull request. Have I sorted that out correctly? I have tried it out on my separate repository and it seems to work there. Thank you for your help. John