Skip to content

Add github.com to known_hosts file#8

Merged
akrantz01 merged 1 commit intomainfrom
github-known-hosts
May 4, 2024
Merged

Add github.com to known_hosts file#8
akrantz01 merged 1 commit intomainfrom
github-known-hosts

Conversation

@akrantz01
Copy link
Copy Markdown
Member

Adds github.com to the ~/.ssh/known_hosts file for pulling dependencies from private repositories.

@akrantz01 akrantz01 enabled auto-merge May 4, 2024 18:15
@akrantz01 akrantz01 added this pull request to the merge queue May 4, 2024
Merged via the queue into main with commit 319b475 May 4, 2024
@akrantz01 akrantz01 deleted the github-known-hosts branch May 4, 2024 18:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant