Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CONTRIBUTING.md: Suggest PR and Differential Revision lines
When there's an open PR and/or a Differential Revision, people evaluating the pull request will want to look at them. Suggest that the submitter include this information to make it easier to process. Sponsored by: Netflix
- Loading branch information