Hi Geode Devs! Geode Native merged https://github.com/apache/geode-native/pull/509 this morning since our docker image was using an old Geode version. What is the proper way to update docker hub ( https://hub.docker.com/r/apachegeode/geode-native-build) with the new image? Is that something committers should be able to do? Or is there an automated build that updates docker hub?
Thanks! -michael
