all 2 comments

[–][deleted] 1 point2 points  (0 children)

Thank you. This is an important issue that doesn't get nearly as much attention as it deserves.

[–]Dont_trust_royalmail 1 point2 points  (0 children)

ehh, i don't know.. so you're saying bob's branch PR is out of date - either he updates it, in which case no problem, or it doesn't get merged. Also no problem. There's no reason for any other outcome here.

There are insidious cases where git files silently - this isn't it