Skip to content

Conversation

@terrytangyuan
Copy link
Member

@terrytangyuan terrytangyuan commented Aug 2, 2019

This will avoid wasting resources in case we are not working on a fork. PR builds will still work.

@bellet
Copy link
Member

bellet commented Aug 2, 2019

Nice, merged

@bellet bellet deleted the terrytangyuan-patch-2 branch August 2, 2019 14:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants