diff options
| author | 2022-01-08 21:58:55 +0100 | |
|---|---|---|
| committer | 2022-01-08 21:58:55 +0100 | |
| commit | 1acd3ab09be1b65bfd6122ee351490c3b5527bb8 (patch) | |
| tree | f11de558e7a09522a45d1c155d9707ecda6bf1eb /docs/en/developers/02_Github.md | |
| parent | 916df412f5b6f7fb9bcfb705a3c8c23e35304410 (diff) | |
Use typographic quotes (#4133)
* Use typographic quotes
* A few fixes
* Fix
* Fix not saved
* Implement feedback
* Detail
* Revert spoken English fixes
Left for a future dedicated discussion
* More reverts
* Final reverts
* Final minor
Diffstat (limited to 'docs/en/developers/02_Github.md')
| -rw-r--r-- | docs/en/developers/02_Github.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/en/developers/02_Github.md b/docs/en/developers/02_Github.md index 7a7769caa..4e6a84ab3 100644 --- a/docs/en/developers/02_Github.md +++ b/docs/en/developers/02_Github.md @@ -4,7 +4,7 @@ If you are new to Git, here are some of the resources you might find useful: -* [GitHub's blog post](https://github.com/blog/120-new-to-git) +* [GitHub’s blog post](https://github.com/blog/120-new-to-git) * <http://try.github.com/> * <http://sixrevisions.com/resources/git-tutorials-beginners/> * <http://rogerdudler.github.io/git-guide/> |
