Provides JUMP-specific implementation of the push registry.