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

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

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

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

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

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

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: > > >

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

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'?

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