Skip to content

Remove unused $status property #62

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

Closed
wants to merge 2 commits into from
Closed

Conversation

kelunik
Copy link

@kelunik kelunik commented Aug 24, 2022

No description provided.

@clue clue added this to the v4.1.0 milestone Aug 26, 2022
@clue
Copy link
Member

clue commented Aug 26, 2022

@kelunik Good catch, thanks for looking into this! It looks like this is indeed a small left-over from my changes in #55. May I ask you to squash your changes into a single commit?

@kelunik
Copy link
Author

kelunik commented Aug 26, 2022

@clue Can just use squash on merge, no?

@SimonFrings
Copy link
Member

@kelunik We try to avoid squashing changes via GitHub's squash on merge. This will always lead to GitHub being the new committer and it will also add an extra commit.

@SimonFrings
Copy link
Member

SimonFrings commented Feb 6, 2023

@kelunik Checking if this ticket will receive any updates or can we close this? Been open for a while and we want to avoid having issues or pull requests laying around for too long.

It would involve squashing the two commits into one and then force pushing the new commit to GitHub in order for us to approve this. Or is there any way we can help this progressing?

@SimonFrings SimonFrings removed this from the v4.1.0 milestone Jun 22, 2023
@SimonFrings
Copy link
Member

This ticket hasn't received any updated in a while, so I'll close this for now. We can always revisit this at a later time.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants