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

Please merge pull request #57

Open
jcuenod opened this issue Feb 16, 2017 · 1 comment
Open

Please merge pull request #57

jcuenod opened this issue Feb 16, 2017 · 1 comment

Comments

@jcuenod
Copy link

jcuenod commented Feb 16, 2017

There are three open pull requests that only change metadata.
Please merge one of them.
@smichel17
Copy link

smichel17 commented Jun 27, 2017 •
edited
Loading

@vibou Seeing open pull requests so old that haven't even been commented on made me reluctant to even report issues / make suggestions, and would discourage me from submitting a PR if I ever had an inclination to.

We all have other things to do with our time; I totally understand that. It's still nice to acknowledge others' effort and let them know if you're planning to review/merge 😄 (if you're interested in community contributions).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jcuenod @smichel17