Default branch for geode-examples repo

[Alexander Murmann]

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?