Skip to content

Don't bother with keys for dev - #1775

Merged
sleepycat merged 1 commit into
masterfrom
no-need-for-keys-to-public-repos
Mar 4, 2021
Merged

Don't bother with keys for dev#1775
sleepycat merged 1 commit into
masterfrom
no-need-for-keys-to-public-repos

Conversation

@sleepycat

Copy link
Copy Markdown
Contributor

This commit switches to using https for retrieving the repo instead of ssh
since it's public anyway.

This commit switches to using https for retrieving the repo instead of ssh
since it's public anyway.
@sleepycat
sleepycat merged commit a0cbfb9 into master Mar 4, 2021
@sleepycat
sleepycat deleted the no-need-for-keys-to-public-repos branch March 4, 2021 00:39
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