-
Notifications
You must be signed in to change notification settings - Fork 168
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
Exposing bug in string index #145
Conversation
Fix in 85bb805 |
I guess you forgot to commit to the PR branch. Anyway, cool. 👍 What about the unit tests in the branch? Have you taken care of getting them merged? Do they pass? |
Alexander, please read my comments above, and finalize this pull request. |
It was on purpose that I did not push it to your branch. In general I think it is a bad idea to push into other peoples repos. You never know if they notice, and I have personally had unintended merges happen when pulling from my own repo, without having noticed that other had pushed to it. I think the best approach is to let the owner of the PR pull in the fix. The fix does make it pass the unit tests. |
Ok with respect to not pushing to each others branches. However, when I create a pull-request with the purpose of getting a bug fixed, and the task of fixing the bug gets assigned to you, you are supposed to work within that pull request, and push commits to the associated branch. In this case, you could have considered that branch, your own. Anyway, you either didn't read or didn't answer this question:
Note that this PR does contain commits that are related to the bug, and that are supposed to be merged into master. |
If you want me to, in the future, I can create branches like this one in the "no mans land" repo, Tightdb:tightdb. |
I think that's a good idea. No everyone has rights to push to other peoples // Brian On Tue, Sep 24, 2013 at 8:31 PM, Kristian Spangsege <
|
I have pushed the fix to this PR. The unit tests also seem to merge clean. |
Ok, cool, but you still haven't made it clear to me, whether you have also checked that the new unit test added by this PR passes. Also, I would expect you to push the "Merge pull request" button, but if you refuse to, let me know. |
That was answered in one of the first comments:
|
It wasn't clear to me, but ok. I assume you did see the second part of my comment too. |
Just waiting for a +1 :-) On Tue, Sep 24, 2013 at 5:32 PM, Kristian Spangsege <
|
👍 |
Exposing bug in string index
NOT FIXED!
@astigsen