Closed braybaut closed 4 years ago
Thank you for your contribution. I've just checked and your commit doesn't appear to be signed-off. That's something we need before your Pull Request can be merged. Please see our contributing guide.
Tip: if you only have one commit so far then run: git commit --amend --signoff
and then git push --force
.
Best start again on this one.
Having a clear-up on GitHub issues. Let's revisit as necessary. Thank you for the PR.
Description
This PR changes the Travis badge to travis-ci.com
Motivation and Context
How Has This Been Tested?
Types of changes
Checklist:
git commit -s