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
+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
+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
+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
+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
+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
+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:
> >
>
+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
+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'?
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
10 matches
Mail list logo