Hi, Ensure master is up to date in your checkout, then on you topic branch:
git rebase master If there were changes on master which weren't on your branch you'll have to force push your topic branch out again to build in Travis. Then: git checkout master git merge topic-branch git push It's all in DEVELOPERS.md HTH, Thomas On Sat, 22 Oct 2016, 15:42 Dominik Vogt, <dominik.v...@gmx.de> wrote: > Hi Thomas, > > I've actually never used pull requests, so what would be the > correct command to generate a pull request for the > dv-gcc-warning-fixes branch I've just pushed, to get it onto the > master branch? (Preferrably not using github.) > > Ciao > > Dominik ^_^ ^_^ > > -- > > Dominik Vogt >