Hi, I have submitted a PR to RocksDB that got accepted. But now I'd like to try it in my WIP tree. So how do I locally roll the RocksDB version forward? Is it as simple as going into RocksDB and go: 'git pull' ?? --WjW -- To unsubscribe from this list: send the line "unsubscribe ceph-devel" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html