November 16, 2013 Re: [phobos] Automatic Pull Merging! | ||||
---|---|---|---|---|
| ||||
Posted in reply to Brad Roberts Attachments:
| Is there a way to have this show up in the git pull pages? In regards to: https://github.com/D-Programming-Language/phobos/pull/1694 You said: > I'm removing the auto-merge tag on this commit until the JSON_TYPE comments are cleaned up. But when I reviewed, I was un-aware it was about to be merged, and did not remove the tag. There should be a visual queue on the pull page, and a mail should be sent, in the same way one is sent when a pull is merged. Other than that, I like it. On Fri, Nov 15, 2013 at 9:17 AM, Brad Roberts <braddr@puremagic.com> wrote: > I've just put the automated pull merging code into production and visible to everyone. The rough details: > > 1) You have to be logged in and using https (should be automatic) -- note > the new login link in the upper left corner. The website is now integrated > with github's oauth system and will direct you over there to accept this > login. It requires write credentials because the merge operation is > performed as the person who requests the merge. This is subject to debate. > It's possible to switch to read-only credentials and have all merges done > as me, with a merge comment noting who did the commit -- but I prefer it > NOT be me but rather be you guys. > > 2) To request that a pull be merged, head through link on the page with > all the pull requests and their status (https://d.puremagic.com/test- > results/pulls.ghtml?projectid=1) to the test history link (second > column.. the one with the username/branch titled link). At the top of that > page, for anyone (logged in or not) is a new row labeled "Auto Merge" with > a yes/no indicator. If you're logged in you will see a Toggle link. > > 3) For any request which is already completely tested, it will merge right then and there (though no visual indicator on that page until a few minutes later when the system has detected the completed merge). For any incompletely tested pull request, once it passes all 10 platforms, it will be merged in. > > 4) If the pull is updated to a new revision while waiting for a complete set of tests to pass, then the auto-merge state is dropped and must be re-enabled. > > Two known issues: > > 1) the post-login step is always back at the default page rather than where you were when you logged in. > > 2) anyone who is logged in can toggle it. Once the pull passes all tests, when it tries to perform the pull, it notices the requester can't and yanks the flag, not performing any merging. Since someone who could have rightly set it will be mislead that it had been set, that's pretty ugly. > > There's every possibility that there's bugs in the system, so please tread carefully and let me know if you see something acting fishy. Future work will add more integration with github to make it easier to interact with. > > Happy merging, > Brad > > (yes, I realize those docs, such as they are, really belong within the > website.. it's on the list) > _______________________________________________ > phobos mailing list > phobos@puremagic.com > http://lists.puremagic.com/mailman/listinfo/phobos > |
November 16, 2013 Re: [phobos] Automatic Pull Merging! | ||||
---|---|---|---|---|
| ||||
Posted in reply to monarchdodra | On 11/16/13 1:23 PM, monarchdodra wrote: > Is there a way to have this show up in the git pull pages? > > In regards to: > https://github.com/D-Programming-Language/phobos/pull/1694 > > You said: > > I'm removing the auto-merge tag on this commit until the JSON_TYPE comments are cleaned up. > > But when I reviewed, I was un-aware it was about to be merged, and did not remove the tag. There > should be a visual queue on the pull page, and a mail should be sent, in the same way one is sent > when a pull is merged. > > Other than that, I like it. See: https://github.com/D-Programming-Language/dmd/pull/2783 I probably shouldn't have used that request for testing but since it's not passing tests I was confident it wouldn't accidentally merge while playing with it. :) _______________________________________________ phobos mailing list phobos@puremagic.com http://lists.puremagic.com/mailman/listinfo/phobos |
December 28, 2013 Re: [dmd-internals] Automatic Pull Merging! | ||||
---|---|---|---|---|
| ||||
Posted in reply to Martin Nowak | Martin Nowak, el 16 de November a las 13:10 me escribiste: > Jacob Carlborg <doob@me.com> schrieb: > >I completely agree. The default should be a fast forward then there should be an option to select non fast forward next to the merge button. > > I don't agree. It's helpful to preserve the information that something was merged, which commits were part of the merge and most importantly a reference to the github issue in the merge request. BTW, I just changed the git-hub tool to force the rebase, so you'll always get the committer information updated when *rebasing* a pull request. This way you get to keep the date and person that pushed the commits upstream. Feel free to try it out and report any problems: https://github.com/sociomantic/git-hub/releases/tag/v0.6.0-rc1 -- Leandro Lucarella (AKA luca) http://llucax.com.ar/ ---------------------------------------------------------------------- GPG Key: 5F5A8D05 (F8CD F9A7 BF00 5431 4145 104C 949E BFB6 5F5A 8D05) ---------------------------------------------------------------------- Decile que ponga "rails generate tp_prof_fiuba" en la consola y en una semana se recibe. -- Mazzi, filósofo estilista _______________________________________________ dmd-internals mailing list dmd-internals@puremagic.com http://lists.puremagic.com/mailman/listinfo/dmd-internals |
Copyright © 1999-2021 by the D Language Foundation