Hi guyzmo! On Fr, 13 Mär 2015, guyzmo wrote:
> another feature that makes working with pull requests less painful, it's > that now you can get them from their own feature branche, by adding the > following to the github remote: > > fetch = +refs/pull/*/head:refs/remotes/origin/pr/* > > then `git fetch` will retrieve all the pr as branches. Almost making it > feel gerrit-like. Oh that is nice. > > Last but definitely not least: you can run automatic builds and > > tests whenever you push a commit. > > > And for user contributions, the pull requests from git could be synced > > > as new branches on the merc repo on bitbucket (if that's what Bram > > > chooses), in a way that is convenient enough for Bram to review and > > > decide to merge or not. > > +1 > > And this is what I mean when keeping both bitbucket and github in sync, > all the PRs from github can be fetched automagically on the bitbucket > repository, and integrated to the vim workflow. Does that also include the issue/bug tracker? Will that also be synchronized? Or do we have to disable the bug tracker in one location and send the people to the other? > Of course, it's a very rough idea, but there's been a few people really > motivated to get vim's source on git/github, so you guys just do that? While I also think, that would be the best solution (does anybody has the skills to setup those 2 synchronized repositories?), it basically comes down to what makes Bram most comfortable and how he can work the best. All the rest is just icing on the cake that will make other interested people easier to get involved with, but that shouldn't be the main reason for switching. Best, Christian -- Letzte Worte eines Chemikers: "Die Säure ist absolut harmlos." -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
