Skip to content

GitHub has a capital H#2053

Merged
JedWatson merged 1 commit intoJedWatson:masterfrom
singingwolfboy:github-capital-h
Oct 18, 2017
Merged

GitHub has a capital H#2053
JedWatson merged 1 commit intoJedWatson:masterfrom
singingwolfboy:github-capital-h

Conversation

@singingwolfboy
Copy link
Contributor

Just fixing a pet peeve of mine.

@singingwolfboy singingwolfboy changed the title GitHub as a capital H GitHub has a capital H Oct 12, 2017
@coveralls
Copy link

Coverage Status

Coverage remained the same at 92.344% when pulling 78b24d0 on singingwolfboy:github-capital-h into 7523c20 on JedWatson:master.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 92.344% when pulling 78b24d0 on singingwolfboy:github-capital-h into 7523c20 on JedWatson:master.

@JedWatson
Copy link
Owner

Haha fair enough, thanks @singingwolfboy!

@JedWatson JedWatson merged commit 7cd93e5 into JedWatson:master Oct 18, 2017
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.

3 participants