@blueelvis opened this Pull Request on July 15th 2016 Contributor

This is regarding this pull request.
#10284

For some unknown reason, Github is not updating that PR with the commits so had to create a new pull request :(
If anyone has any idea what went wrong, please do let me know :)

@mattab commented on July 18th 2016 Owner

For some unknown reason, Github is not updating that PR with the commits so had to create a new pull request :( If anyone has any idea what went wrong

Maybe you didn't push your changes to Github / remote, and only pushed your changes to your local git repo?

@mattab commented on July 18th 2016 Owner

Thanks for the PR, left a few comments.

@blueelvis commented on July 26th 2016 Contributor

@mattab - Separated the code. Pushed the changes. Please check :)

@tsteur commented on July 28th 2016 Owner

@mattab the changes were made, can we merge this one?

@mattab commented on September 23rd 2016 Owner

Hi @blueelvis
Thank you for this proposed pull request.

Because it was last updated more than one month ago, it is our policy to close pull requests opened for a long time without updates. If you would like to continue work on the pull request, please simply ping us to have it re-opened (after you have pushed a new commit).

We hope you understand this and we look forward to seeing an update from you on this pull request or another one!

Thanks.

This Pull Request was closed on September 23rd 2016
Powered by GitHub Issue Mirror