I vote for changing the default branch to develop. Sarge
> On 2 Jan, 2018, at 10:05, Alexander Murmann <amurm...@pivotal.io> wrote: > > I noticed that many recent commits in the geode-examples repo have been > merged to develop, but not master. Will those be merged to master at some > point or should we change the default branch of the repo to develop?
