+1 -Dan
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 >
