Closed zwimer closed 5 years ago
NOTE: None of these are required, but failure to meet any of them will lead to a discussion of the pull request about why they were not met.
run-before-push.sh
Type of change
Description
Motivation and Context
If this is a bug fix, please give previous behavior, new behavior, and minimal steps needed to reproduce both.
What issues, located here does this close, if any? What milestones, or pull requests are related?
Ignore this if it is not a bug fix.
Pull Request check-lists
NOTE: None of these are required, but failure to meet any of them will lead to a discussion of the pull request about why they were not met.
run-before-push.sh
? (If not, just note so and it will be run for you)Provide Information
Type of change
Description
Motivation and Context
If this is a bug fix, please give previous behavior, new behavior, and minimal steps needed to reproduce both.
What issues, located here does this close, if any? What milestones, or pull requests are related?
Ignore this if it is not a bug fix.