243
DO NOT MERGE (feddit.dk)

Merged

you are viewing a single comment's thread
view the rest of the comments
[-] cornshark@lemmy.world 84 points 9 months ago

Heh, a funny collision of terms.

The green Merged means that the pull request was submitted into the branch.

The DO NOT MERGE text is an instruction for automerger. Android is developed in a truly startling amount of related git branches. Automerger is the tool that propagates commits back and forth to make sure pull requests get to all flavours, versions and devices.

DO NOT MERGE tells Automerger not to propagate that pull request to newer versions of Android, i.e. it's a fix for the currently released version that's not relevant to the next development version of Android for whatever reason.

Also seen, although more rarely, is DO NOT MERGE ANYWHERE which tells Automerger not to propagate the pull request to any other branch other than where it was originally submitted, including branches for related products on the same version of Android.

[-] CodeMonkey@programming.dev 1 points 9 months ago

Out of curiosity, any idea what automerger they use? I have always been on the lookout for one for hobby projects.

load more comments (1 replies)
this post was submitted on 18 Jan 2024
243 points (96.6% liked)

Programmer Humor

19315 readers
39 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 1 year ago
MODERATORS