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

abort if no args provided to sl pr pull #357

Closed
wants to merge 1 commit into from

Conversation

discentem
Copy link
Contributor

@discentem discentem commented Dec 25, 2022

abort if no args provided to sl pr pull


Stack created with Sapling. Best reviewed with ReviewStack.

@discentem discentem changed the title placeholder for pull request abort if no args provided to sl pr pull Dec 25, 2022
@facebook-github-bot
Copy link
Contributor

@bolinfest has imported this pull request. If you are a Meta employee, you can view this diff on Phabricator.

@discentem discentem closed this Jan 2, 2023
@bolinfest
Copy link
Contributor

@discentem did you mean to close this?

@discentem
Copy link
Contributor Author

discentem commented Jan 2, 2023

@bolinfest 🤔 I closed because I thought if it's imported, that's equivalent to merging for this project? If that's not the case, let's reopen? 😅

@bolinfest
Copy link
Contributor

@discentem sorry for the confusion: that means it has been imported in our internal repo where it has to be reviewed (and unfortunately is the only place where we can run tests against it right now) and then approved, and is ultimately exported back to GitHub, at which point this PR will automatically be closed.

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.

3 participants