diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-02-15 17:02:42 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-02-15 17:03:28 +0100 |
| commit | a03c99164a8672ad2da1bb00e3c4d1e53b39b897 (patch) | |
| tree | 1fc92fc6719c77d4a1328cff390a3dde743efe04 | |
| parent | 0c205e0fa81181241154a3148f6ccfbe2fd5bb29 (diff) | |
| download | justbuild-a03c99164a8672ad2da1bb00e3c4d1e53b39b897.tar.gz | |
git-gc design: fix typos
| -rw-r--r-- | doc/future-designs/git-gc.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/future-designs/git-gc.md b/doc/future-designs/git-gc.md index a46699db..4c639075 100644 --- a/doc/future-designs/git-gc.md +++ b/doc/future-designs/git-gc.md @@ -54,7 +54,7 @@ following way. storage overhead will occur. The promoted commit will be tagged in the new-generation repository to ensure it stays there persistently. As usual, the tag name is encoding the commit id, - so that no conflicts occcur. + so that no conflicts occur. - To promote a `git` tree, a commit is created with this tree as tree, a commit message that is a function of the tree id, and @@ -67,8 +67,8 @@ following way. ### New command `just-mr gc-repo` The multi-repository tool `just-mr` will get a new subcommand `gc-repo`, -a name chosen to not conflict with the laucher functionality; recall -that `just-mr gc` will simply call `just gc`. This new `just-rm +a name chosen to not conflict with the launcher functionality; recall +that `just-mr gc` will simply call `just gc`. This new `just-mr gc-repo` command rotates the generations: the old generation will be removed and the new one will become (atomically by a rename) the old one. |