He Yin Ling 6eca80a989 CI: try to use the correct branch of other projects used in CI:
1. revision defined in bot message
2. branch name (or tag name) of current IDF
3. CI_MERGE_REQUEST_TARGET_BRANCH_NAME
4. branch name parsed from `git describe`
5. default branch
2019-07-03 16:53:34 +08:00
..
2019-06-17 14:23:52 +08:00
2016-11-03 18:41:00 +08:00
2019-05-29 17:11:53 +10:00
2019-06-29 00:22:57 +00:00