diff options
| author | Owen Jacobson <owen.jacobson@grimoire.ca> | 2014-05-28 16:11:01 -0400 |
|---|---|---|
| committer | Owen Jacobson <owen.jacobson@grimoire.ca> | 2014-05-28 16:11:01 -0400 |
| commit | b0c376d2a7ded722cd49f88e515c53632ec75730 (patch) | |
| tree | de354549a8285063f482975bf44db7ba97f47c29 /wiki/git/scratch.md | |
| parent | 693eec80b65299ff679a458bb7039d656ece550f (diff) | |
Typographic fixes around double quotes.
Diffstat (limited to 'wiki/git/scratch.md')
| -rw-r--r-- | wiki/git/scratch.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/wiki/git/scratch.md b/wiki/git/scratch.md index 61d2815..a26c98f 100644 --- a/wiki/git/scratch.md +++ b/wiki/git/scratch.md @@ -6,7 +6,7 @@ Git repos are stored in .git: fakegit$ mkdir .git -They have a "symbolic ref" (which are text files, see [`man +They have a “symbolic ref” (which are text files, see [`man git-symbolic-ref`](http://jk.gs/git-symbolic-ref.html)) named `HEAD`, pointing to the currently checked-out branch. Let's use `master`. Branches are refs under `refs/heads` (see [`man git-branch`](http://jk.gs/git-branch.html)): @@ -46,10 +46,10 @@ Does it work? Should you do this? **Of course not.** Anywhere you could run these commands, you could instead run `git init` or `git clone`, which set up a number of other structures, including `.git/config` and any unusual permissions options. -The key part here is that a directory's identity as "a git repository" is +The key part here is that a directory's identity as “a git repository” is entirely a function of its contents, not of having been blessed into being by `git` itself. -You can infer a lot from this: for example, you can infer that it's "safe" to +You can infer a lot from this: for example, you can infer that it's “safe” to move git repositories around using FS tools, or to back them up with the same tools, for example. This is not as obvious to everyone as you might hope; people |
