GitHub PushEvent at 2014-12-12 09:53:27
Repository: bors
Actor: barosl
Payload: {"shas":[["afc1e2bfea9a19f8fc1c7b88d165fe6a12f22c93","12c875436a19b99bf0b96f0110d54611e83c2b9b@barosl.com","Add batched merge (rollup) feature\n\nCurrently it works as follows:\n\n1. Mark the commits to be merged together as rollup. (e.g. r+ rollup)\n   These commits will have an implicit priority of -1 to postpone the\n   individual merge.\n2. If one of the marked commits reaches the top of the queue, all the\n   marked commits will be merged together and tested.\n3. While merging commits, those commits that fail to merge are ignored.\n4. You can prioritize the rollup by setting p=.\n\nTypical usage:\n\n1. We have three commits to be tested together.\n2. Set r+ rollup to the first commit.\n3. Set r+ rollup to the second commit.\n4. Set r+ rollup p=10 to the last commit, which will trigger the rollup\n   process soon.\n\nFixes #34.","Barosl Lee",true]],"size":1,"ref":"refs/heads/rollup","head":"afc1e2bfea9a19f8fc1c7b88d165fe6a12f22c93"}