Skip to content
This repository was archived by the owner on Sep 30, 2024. It is now read-only.

capitalization Github -> GitHub #2953

Merged
merged 1 commit into from
Mar 23, 2019
Merged

capitalization Github -> GitHub #2953

merged 1 commit into from
Mar 23, 2019

Conversation

sqs
Copy link
Member

@sqs sqs commented Mar 23, 2019

This only changes docs and comments, not code, to avoid merge conflicts. Eventual consistency in the capitalization of GitHub is OK. :)

https://docs.sourcegraph.com/dev/style_guide

This only changes docs and comments, not code, to avoid merge conflicts. Eventual consistency in the capitalization of GitHub is OK. :)

https://docs.sourcegraph.com/dev/style_guide
@sqs sqs added the docs label Mar 23, 2019
@sqs sqs merged commit cf83046 into master Mar 23, 2019
@sqs sqs deleted the github-caps branch March 23, 2019 22:28
daxmc99 added a commit that referenced this pull request Jul 21, 2021
Update CHANGELOG for ephemeral storage change [#2953](sourcegraph/deploy-sourcegraph#2953)
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants