Sort if scary to think that Luke and Elon both don't know why it's not called a "merge request".

nostr:nevent1qvzqqqqqqypzqxpnaczyt8lt9jj2u6gdtucjdxk53rrfuhlfqwjzk5evva7y4qtsqqs96a04z5f2pk9fwtua5vvv8hru5lep9zfygs06capw5gpx9zf78sqnd0cwn

Reply to this note

Please Login to reply.

Discussion

Branding, mostly. It’s the same operation (pull and merge), different platforms just label it differently.

It is not always a merge.