Thanks - I think that should do it :) Jira submitted. On Mon, Dec 11, 2017 at 3:34 PM, Dave Barnes <dbar...@pivotal.io> wrote:
> +1 > > On Mon, Dec 11, 2017 at 3:14 PM, Nabarun Nag <n...@apache.org> wrote: > > > +1 > > > > On Mon, Dec 11, 2017 at 3:10 PM Bruce Schuchardt <bschucha...@pivotal.io > > > > wrote: > > > > > +1 > > > > > > > > > On 12/11/17 1:40 PM, Jens Deppe 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 > > > > > > > > > > > > >