-
Notifications
You must be signed in to change notification settings - Fork 93
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
Add missing tests based on coverage report #164
Conversation
@raszi never ever merge into existing PRs. this breaks the whole work flow and all the other PRs. You just increased the amount of work by a manifold. Yikes. |
@raszi rebase is our friend here. rebase+merge gets the job done. and merge and then rebase will break everything, unless it is not done on the originating branch. AND NEVER THE GITHUB INTERNAL PR BRANCH, DAMNIT. |
@raszi I do not know what you did to master but all my rebases here are failing with arbitrary merge conflicts and out of line/weird merge proposals. Did you push --force to master? |
a6590e4
to
993c3f0
Compare
wtf. is github bonkers or what? this cannot be merged, never. |
@raszi for the record: I did not close this and i would have never merged into master. |
@raszi seems as if this was closed (again) due to my latest push --force attempt to fix existing issues in the branch. Yikes. Github is becoming somewhat intransparent right now. |
@silkentrance I strongly disagree with your view and so does Linus Torvalds. We should not fake the history and since this is not a local branch of yours and somebody else could use it therefore you should not rebase the changes. Merging the recent changes is a task what you did and therefore it should appear in the history. You should rather merge the changes, resolve the conflicts and push the merge commit to the remote branch. GitHub will only show the differences and of course since it won't have conflicts the branch will be mergeable. |
Long story short, you should only rebase your local changes and never rebase anything what you've already pushed to a remote branch. |
This PR is borked for some reason. GitHub shows no commits and no changes. 😟 |
You did a couple of force pushes, which could mess up GitHub. I tried to recover the PR from my local git repository, see #165 |
The coverage report from #107 shows that we are missing some tests.
This PR is about implementing additional tests so that we can increase our overall test coverage.
TODO