Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix typo #4591
Please sign your commits following these rules:
$ git clone -b "patch-1" firstname.lastname@example.org:mgrachev/machine.git somewhere $ cd somewhere $ git commit --amend -s --no-edit $ git push -f
Amending updates the existing PR. You DO NOT need to open a new one.