Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

an -> a #159

Merged
merged 1 commit into from Jul 10, 2019
Merged

an -> a #159

merged 1 commit into from Jul 10, 2019

Conversation

jletey
Copy link
Contributor

@jletey jletey commented Jul 10, 2019

@brunolemos When a user is added to a repository, the event card said:

"... added an user to a repository ..."

instead of:

"... added a user to a repository ..."

@brunolemos brunolemos merged commit 024c222 into devhubapp:master Jul 10, 2019
@brunolemos
Copy link
Member

TIL, thanks!

@jletey
Copy link
Contributor Author

jletey commented Jul 10, 2019

you're welcome @brunolemos!

@jletey jletey deleted the patch-1 branch July 10, 2019 04:48
@brunolemos brunolemos added this to the v0.93.0 milestone Jul 11, 2019
@brunolemos brunolemos added this to Done in DevHub Jul 17, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
DevHub
  
Done
Development

Successfully merging this pull request may close these issues.

None yet

2 participants