]> git-server-git.apps.pok.os.sepia.ceph.com Git - rocksdb.git/commit
Update branch name to "main" in CircleCI config (#8726)
authorLevi Tamasi <ltamasi@fb.com>
Wed, 1 Sep 2021 18:56:37 +0000 (11:56 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 1 Sep 2021 19:26:42 +0000 (12:26 -0700)
commit2e09a54c4fb82e88bcaa3e7cfa8ccbbbbf3635d5
treee8c76694c46ef0672181ce501c302afaa47a7378
parentf756448f284f472d6f01aa31d89421b2751e5035
Update branch name to "main" in CircleCI config (#8726)

Summary: Pull Request resolved: https://github.com/facebook/rocksdb/pull/8726

Reviewed By: jay-zhuang

Differential Revision: D30675182

Pulled By: ltamasi

fbshipit-source-id: d5746931f6d942ed3a9d21325335cfc9e111a7f3
.circleci/config.yml