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.

Sign up for GitHub

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

Jump to bottom

Add link to PR /files tab #114

Closed
jayvdb opened this issue Jul 27, 2018 · 2 comments
Closed

Add link to PR /files tab #114

jayvdb opened this issue Jul 27, 2018 · 2 comments
Labels
difficulty/low enhancement initiatives/gci type/feature

Comments

@jayvdb
Copy link
Member

jayvdb commented Jul 27, 2018

Instead of loading the PR discussion tab, it is helpful to jump straight to the /files tab.
@li-boxuan
Copy link
Member

@ENvironmentSet You should have an invite in your inbox now. Accept it and join the coala org 😉 If you have any difficulty solving this, feel free to leave a comment here, or directly ping me on https://coala.zulipchat.com or https://gitter.im/coala/gci We are very glad to help you 😛

@siddhpant siddhpant mentioned this issue Nov 4, 2018
Merged
@jayvdb
Copy link
Member Author

jayvdb commented Nov 11, 2018

This issue reserved for Google Code-in task 5821689498697728.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
difficulty/low enhancement initiatives/gci type/feature
Milestone
No milestone
Development

No branches or pull requests
3 participants
@jayvdb @gitmate-bot @li-boxuan