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

Marking a commit WIP after-the-fact seems to lead to confusion #157

Closed
leoluk opened this issue Dec 13, 2021 · 4 comments
Closed

Marking a commit WIP after-the-fact seems to lead to confusion #157

leoluk opened this issue Dec 13, 2021 · 4 comments
Labels
bug Something isn't working

Comments

@leoluk
Copy link
Collaborator

leoluk commented Dec 13, 2021

I marked the top commit on this stack WIP and inserted another commit beneath it:

image

... which somehow lead to this PRs body changing:

#155

image

... to the old message of #147. Not sure what happened here?

Removing the "WIP" title and re-running spr undid the damage.

@ejoffe
Copy link
Owner

ejoffe commented Dec 14, 2021

This code path is untested and very minimally used, so I can't say I'm surprised there is some weird behavior.
If I have some spare cycles in the next couple of weeks, I'll look into this.

@ejoffe
Copy link
Owner

ejoffe commented Mar 3, 2022

@leoluk - I recently also ran into an issue in this area. My current thinking is to completely ignore all commits in the stack starting from the WIP commit. This means that if you have a bunch of PRs in the stack and mark some PR in the middle as WIP, spr update will close all the PRs starting from the WIP going upwards.
I think this is correct behavior and avoids weird corner cases, but might lead to surprising results (prs closing that don't have wip but are above a wip pr). Thoughts?

@leoluk
Copy link
Collaborator Author

leoluk commented Mar 3, 2022

There's no point to have a non-WIP PR on top of a WIP one so this makes sense to me.

@ejoffe ejoffe added the bug Something isn't working label Mar 31, 2022
@ejoffe
Copy link
Owner

ejoffe commented Jul 28, 2022

I think this is fixed now.

@ejoffe ejoffe closed this as completed Jul 28, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

2 participants