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

Add External_Bears.rst #17

Merged
merged 1 commit into from
Aug 18, 2016
Merged

Add External_Bears.rst #17

merged 1 commit into from
Aug 18, 2016

Conversation

Adrianzatreanu
Copy link
Contributor

No description provided.

@Adrianzatreanu
Copy link
Contributor Author

@rultor merge

@rultor
Copy link

rultor commented Aug 18, 2016

@rultor merge

@Adrianzatreanu OK, I'll try to merge now. You can check the progress of the merge here

@rultor rultor merged commit b661931 into coala:master Aug 18, 2016
@rultor
Copy link

rultor commented Aug 18, 2016

@rultor merge

@Adrianzatreanu Done! FYI, the full log is here (took me 1min)

@rultor
Copy link

rultor commented Jan 3, 2017

@rultor merge

@Adrianzatreanu The pull request is closed already, so I can't merge it

@rultor
Copy link

rultor commented Jan 3, 2017

@rultor merge

@Adrianzatreanu I'm sorry, I don't understand you :( Check this page and try again please

@rultor
Copy link

rultor commented Jan 3, 2017

@rultor plzz can u tell me where can i find the file externalbear.rst to make changes in it

@harshit890 I'm sorry, I don't understand you :( Check this page and try again please

@rultor
Copy link

rultor commented Jan 3, 2017

@rultor actually the external_bear.rst that u wrote have a problem at bottom line i.e. issue no.#...

@harshit890 I'm sorry, I don't understand you :( Check this page and try again please

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants