On Sun, Mar 29, 2015 at 05:29:51AM -0700, ZyX wrote:
> This still has downsides comparing to single repository:
> 1. PRs to runtime will now be scattered between /runtime/ repository and /
> repository.
> 2. Duplicate history entries in /runtime/ and /.
> 3. Requirement to do two-way synchronization between / and /runtime/.
> a. Still any change to /runtime/ needs corresponding change to /.
> b. Yet changes to / may need to be pushed to /runtime/.
well, there's no real duplication of history, as the /runtime history
would be the branch's history, matching the other repository as remote
only.
The real downside of subtrees is that there's no way to enforce
separation of commits sent to the subtree from the main repository, it's
all up to the user, and that's a shame. Even though I believe that some
pre-push hook on the server side could forbid commits that spread to the
subtree and the main tree.
> Note that both solutions (submodules and subtrees) only make sense if
> 1. Bram is going to give more people RW permissions for /runtime/
> repository.
> 2. Somebody will set up a hook which will do the synchronization.
> Have not yet heard about the 1 and it is the only thing which may
> justify the separation.
Though I just commented on the fact that subtrees are overall more
convenient than submodules. I don't really really understand what
improvement the project would earn by splitting up vim's repository,
though I might have missed a couple of messages in the thread ;-)
-----
BTW, to change subject, I thought that in order to make the PR system
work with "traditional" email-patch vim work, a pull request webhook
could be written to send the patch file to the mailing list, with the
author in copy, as github is offering all PR as patches as well:
https://github.com/vim/vim/pull/352.patch
cf webhook documentation:
https://developer.github.com/webhooks/
Cheers,
--
GUyzmo
--
--
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.
