diff options
author | Teddy Wing | 2017-11-13 00:35:29 +0100 |
---|---|---|
committer | Teddy Wing | 2017-11-13 00:35:29 +0100 |
commit | 5146511cca4aed7768e05269ef8840a10df336c7 (patch) | |
tree | f151b3312b8efec45199fc319ecd7f3b89789e33 | |
parent | f3e219586f75f1d09493a2f9e33cd8d5128fc8a4 (diff) | |
download | kipper-5146511cca4aed7768e05269ef8840a10df336c7.tar.bz2 |
README: Use typographer's quotes
-rw-r--r-- | README.md | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -6,9 +6,9 @@ A server that updates GitHub pull request commit statuses from Jenkins builds. ## Prerequisites -A Jenkins server configured with a "branches" project. This project will run a -build for all new commits pushed to a branch. The project's name should match -the GitHub repository name appended by "-branches". For example: +A Jenkins server configured with a “branches” project. This project will run a +build for all new commits pushed to a branch. The project’s name should match +the GitHub repository name appended by “-branches”. For example: kipper-branches @@ -16,7 +16,7 @@ Each build name will have the following format: branch-name-5ac92 -The branch name, followed by a hyphen "-", followed by the first five characters +The branch name, followed by a hyphen “-”, followed by the first five characters of the commit SHA. |