Sort if scary to think that Luke and Elon both don't know why it's not called a "merge request".
nostr:nevent1qvzqqqqqqypzqxpnaczyt8lt9jj2u6gdtucjdxk53rrfuhlfqwjzk5evva7y4qtsqqs96a04z5f2pk9fwtua5vvv8...
Branding, mostly. It’s the same operation (pull and merge), different platforms just label it differently.
1📖1