letting github rebase on PR submit seems opposite the idea that rebase should be rare and manual? (at least for master)