Re: Default branch for geode should be 'develop'

2017-12-11 Thread Jens Deppe
Thanks - I think that should do it :) Jira submitted. On Mon, Dec 11, 2017 at 3:34 PM, Dave Barnes wrote: > +1 > > On Mon, Dec 11, 2017 at 3:14 PM, Nabarun Nag wrote: > > > +1 > > > > On Mon, Dec 11, 2017 at 3:10 PM Bruce Schuchardt > > > wrote: > > > > > +1 > > > > > > > > > On 12/11/17 1:40

Re: Default branch for geode should be 'develop'

2017-12-11 Thread Dave Barnes
+1 On Mon, Dec 11, 2017 at 3:14 PM, Nabarun Nag wrote: > +1 > > On Mon, Dec 11, 2017 at 3:10 PM Bruce Schuchardt > 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

Re: Default branch for geode should be 'develop'

2017-12-11 Thread Nabarun Nag
+1 On Mon, Dec 11, 2017 at 3:10 PM Bruce Schuchardt 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 w

Re: Default branch for geode should be 'develop'

2017-12-11 Thread Bruce Schuchardt
+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 folk

Re: Default branch for geode should be 'develop'

2017-12-11 Thread Mark Bretl
+1 On Mon, Dec 11, 2017 at 2:07 PM, Dan Smith wrote: > +1 > > -Dan > > On Mon, Dec 11, 2017 at 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 P

Re: Default branch for geode should be 'develop'

2017-12-11 Thread Dan Smith
+1 -Dan On Mon, Dec 11, 2017 at 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 message

Re: Default branch for geode should be 'develop'

2017-12-11 Thread Jinmei Liao
+1 On Mon, Dec 11, 2017 at 2:30 PM, Patrick Rhomberg wrote: > +1 for smoother workflow. > > On Mon, Dec 11, 2017 at 2:14 PM, Darrel Schneider > wrote: > > > +1 > > > > On Mon, Dec 11, 2017 at 1:40 PM, Jens Deppe > wrote: > > > > > Currently, github has the default branch for apache/geode set t

Re: Default branch for geode should be 'develop'

2017-12-11 Thread Patrick Rhomberg
+1 for smoother workflow. On Mon, Dec 11, 2017 at 2:14 PM, Darrel Schneider wrote: > +1 > > On Mon, Dec 11, 2017 at 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'

Re: Default branch for geode should be 'develop'

2017-12-11 Thread Darrel Schneider
+1 On Mon, Dec 11, 2017 at 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

Default branch for geode should be 'develop'

2017-12-11 Thread Jens Deppe
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