Suppose we have two git branches, a and b (say they're both local to keep things simple). Branch a is mine to work with, branch b isn't; I can't touch it.
I want to "declare" or "mark" a merge of b into a, without actually making any changes to the code in branch a. I don't mind making an empty commit to signify the merge. The motivation is that redundant work has happened on branch b which is subsumed by the work done on a since they diverged.
Assuming this is a "legitimate" thing to do - what's the idiomatic way to do it?