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.

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

Low hanging fruit #188

Merged
merged 0 commits into from
Dec 3, 2021
Merged

Low hanging fruit #188

merged 0 commits into from
Dec 3, 2021

Conversation

sjaeckel
Copy link
Member

@sjaeckel sjaeckel commented Dec 2, 2021

Some house-keeping and minor features I stumbled over while looking through the code.

@sjaeckel sjaeckel requested a review from pasis December 2, 2021 16:13
@sjaeckel sjaeckel closed this Dec 3, 2021
@sjaeckel sjaeckel deleted the low-hanging-fruit branch December 3, 2021 11:06
@sjaeckel sjaeckel restored the low-hanging-fruit branch December 3, 2021 11:07
@sjaeckel sjaeckel reopened this Dec 3, 2021
@sjaeckel sjaeckel merged commit b0631e3 into master Dec 3, 2021
@sjaeckel sjaeckel deleted the low-hanging-fruit branch December 3, 2021 11:08
@sjaeckel
Copy link
Member Author

sjaeckel commented Dec 3, 2021

Whatever I did on this PR, it somehow lost the diff of the 4 commits ...

@jubalh
Copy link
Member

jubalh commented Dec 3, 2021

Whatever I did on this PR, it somehow lost the diff of the 4 commits ...

That's really curious! I'm interested what happened here 🤔
Never seen this behaviour before.

@sjaeckel
Copy link
Member Author

sjaeckel commented Dec 4, 2021

I think I remember what went wrong ...

I merged locally, then couldn't push because @pasis added another commit on remote/master. So I rebased master on top of remote/master and pushed this one. (I guess that's where it went wrong)

Then I realized that I didn't update this branch, so I reset the branch head to the same commit as master and force-pushed this branch. But because the commits were already on master there was no diff anymore ...

@sjaeckel sjaeckel added this to the 0.12.0 milestone Jul 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants