+1 for smoother workflow. On Mon, Dec 11, 2017 at 2:14 PM, Darrel Schneider <dschnei...@pivotal.io> wrote:
> +1 > > On Mon, Dec 11, 2017 at 1:40 PM, Jens Deppe <jensde...@apache.org> wrote: > > > Currently, github has the default branch for apache/geode set to > 'master'. > > (which is why you need to point the relevant branch to 'develop' for > every > > new PR). > > > > Do we agree that this should be set to 'develop'? > > > > (I've messaged with some of the Infra folks and nothing appears to have > > changed recently so this is a bit weird). > > > > I'll create a Jira once there is agreement. > > > > --Jens > > >