Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Some small fixes
  • Loading branch information
martin389 authored Nov 10, 2020
commit 1931771cca3f17ae9ceef0500f7d43a596af20dc
8 changes: 4 additions & 4 deletions content/developers/overview/managing-deploy-keys.md
Original file line number Diff line number Diff line change
Expand Up @@ -101,12 +101,12 @@ Host github.amrom.workers.dev-repo-1

* `Host github.amrom.workers.dev-repo-0` - The repository's alias.
* `Hostname github.com` - Configures the alias to use the {% data variables.product.product_name %} server.
* `IdentityFile=/home/user/.ssh/repo-0_deploy_key` - assigns a private key to the alias.
* `IdentityFile=/home/user/.ssh/repo-0_deploy_key` - Assigns a private key to the alias.

With these entries, you can then use the alias to clone a repository with a unique Deploy Key. For example:
With these entries, you can then use the alias to clone a repository with a unique deploy key. For example:

```
git clone [email protected]:github-user/repo-1.git
```bash
$ git clone [email protected]:github-user/repo-1.git
```

### Machine users
Expand Down