Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

add remote reporter only if --lab is specified #293

Closed
wants to merge 1 commit into from

Conversation

hl475
Copy link
Contributor

@hl475 hl475 commented May 20, 2019

Summary: #291 (comment)

Differential Revision: D15390774

hl475 added a commit to hl475/FAI-PEP that referenced this pull request May 20, 2019
Summary:
Pull Request resolved: facebook#293

facebook#291 (comment)

Differential Revision: D15390774

fbshipit-source-id: 1afa823a71ee44d204f9ac1a2eee879ab87034ab
Summary:
Pull Request resolved: facebook#293

facebook#291 (comment)

Differential Revision: D15390774

fbshipit-source-id: 3412bf7422bf35e9019b59fe1a218dcb1621742e
@facebook-github-bot
Copy link

This pull request has been merged in 068f9f1.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants