Fetch origin

This commit is contained in:
Yanqin Jin 2020-04-29 11:34:17 -07:00
parent ad71ee3c42
commit f03d14b000

View File

@ -11,6 +11,7 @@ jobs:
- name: Fetch from upstream
run: |
git remote add upstream https://github.com/facebook/rocksdb.git && git fetch upstream
git fetch origin
- name: Where am I
run: |