-
Notifications
You must be signed in to change notification settings - Fork 1.4k
fix 2 bugs reported by coverity #524
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
Conversation
merging with root master.
This reverts commit c0cf732.
Fix warning
|
Can one of the admins verify this patch? |
|
@phsft-bot build! |
|
Starting build on |
|
Something seems odd with this pull requests. It lists 31 commits but only 4 modified files ... maybe the rebase against master did not work properly? |
|
2 of the commits were fixing merge conflicts, the last 2 are real bugs fixed today.
All the other commits were fixes made previously i.e. long ago.
I have no idea why they always go into the same PR.
I keep requesting a new PR. Is this a feature?
John
… On 25 Apr 2017, at 16:53, Philippe Canal ***@***.***> wrote:
Something seems odd with this pull requests. It lists 31 commits but only 4 modified files ... maybe the rebase against master did not work properly?
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub <#524 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AYA2yima799n4EZrXftcgK3WTUO-Wm6xks5rzgjxgaJpZM4NHlfA>.
|
|
Maybe sync your fork or create every new PR from a separate branch. |
This is actually the problem (it creates a 'parallel' history where all your commits are there twice (up to the merge commit). I recommend you start from 'scratch' a new branch and cherry-pick your new commits. |
|
Hi Philippe,
I dont understand this at all.
I am using the standard web interface and every time I ask for a new Pull Request it just edits the existing one.
No-one has been able to explain to me why.
Even if I create a new branch, I guess the same behaviour will continue surely.
The merge conflict was just because Pere intervened to correct a fix I had made (just a formatting issue) but he did it directly in the main repository and in a way that left my ‘origin’ out of sync.
It seems I am the only one using 3 copies of the repository (local, origin and upstream), and the only one making PRs. Or is this not true?
John
… On 25 Apr 2017, at 17:28, Philippe Canal ***@***.***> wrote:
2 of the commits were fixing merge conflicts, the last 2 are real bugs fixed today.
This is actually the problem (it creates a 'parallel' history where all your commits are there twice (up to the merge commit). I recommend you start from 'scratch' a new branch and cherry-pick your new commits.
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub <#524 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AYA2ysZHd0OiOdW6MP2-SjBSw4mRBt4Gks5rzhEugaJpZM4NHlfA>.
|
|
Hi John,
Yes and the way it was resolved (presumedly by the web interface) is sub-optimal. The history of master looks like: So for example the commit "Coverity 94053: fixed uninitialised class members" is twice in your master's history (that is because the merge/resolve conflict rather than having done a rebase). At this point the best is to do some manual intervention on your repository to 'clean-up' your master. This would include:
In the future, I recommend that rather than working directly in the master, you consider working on a "feature" branch. See for example: http://geant.cern.ch/content/suggested-work-flow-distributed-projects-nosy For more detail on rebase vs merge, see https://medium.com/@porteneuve/getting-solid-at-git-rebase-vs-merge-4fa1a48c53aa#.1t4khiyjg Thanks, |
|
Alternatively, one can rebase with |
|
Closing this one now. The relevant items are in #526. |
fixed copy/paste error in stressLinear
fixed resource leak in ruleVisHists