Exercise the edge case where Bob, as a delegate, has never pushed to the default branch. He then merges Alice's patch, and it is correctly marked as merged.
Fabrice Bellamy