I think this is a great idea, Vincent. 9 hours after you made the merge proposal, the diff still doesn't show! ("Updating diff...
An updated diff will be available in a few minutes. Reload to see the changes.")
Sounds like something is stuck. I don't know that approving it will be sufficient to merge it at this point when it is confused about the changes.
I think this is a great idea, Vincent. 9 hours after you made the merge proposal, the diff still doesn't show! ("Updating diff...
An updated diff will be available in a few minutes. Reload to see the changes.")
Sounds like something is stuck. I don't know that approving it will be sufficient to merge it at this point when it is confused about the changes.