xla
Skip git pull if we're in the xla repo
#4560
Merged

Skip git pull if we're in the xla repo #4560

steventk-g merged 1 commit into master from steventk-g-patch-3
steventk-g
steventk-g Skip git pull if we're in the xla repo
54e9f761
steventk-g steventk-g requested a review from JackCaoG JackCaoG 2 years ago
steventk-g steventk-g requested a review from yeounoh yeounoh 2 years ago
steventk-g steventk-g requested a review from ManfeiBai ManfeiBai 2 years ago
vanbasten23
vanbasten23 commented on 2023-02-03
ManfeiBai
ManfeiBai approved these changes on 2023-02-03
yeounoh
yeounoh commented on 2023-02-03
ManfeiBai
JackCaoG
JackCaoG approved these changes on 2023-02-06
JackCaoG
yeounoh
yeounoh approved these changes on 2023-02-07
steventk-g steventk-g marked this pull request as ready for review 2 years ago
steventk-g steventk-g merged 9f0326a4 into master 2 years ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone