diff options
| author | Joey Hess <joeyh@joeyh.name> | 2014-12-22 16:11:18 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2014-12-22 16:11:18 -0400 |
| commit | 2d21767e798202485804b4fca3047c9f2874ef93 (patch) | |
| tree | a270d3ee2b2eeda8f7806b43be7f4295289b4afa /doc/todo/split_the_repo.mdwn | |
| parent | fd8209721badd052fd8f1c79ae68234096cc1663 (diff) | |
website
Diffstat (limited to 'doc/todo/split_the_repo.mdwn')
| -rw-r--r-- | doc/todo/split_the_repo.mdwn | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/todo/split_the_repo.mdwn b/doc/todo/split_the_repo.mdwn new file mode 100644 index 0000000..ed57dd5 --- /dev/null +++ b/doc/todo/split_the_repo.mdwn @@ -0,0 +1,10 @@ +split the repo + +One way to split it would be to put private (non-world-readable) files +one one repo, and public in another. This would need either symlink +farming or git "fake bare" repos, both of which are not pleasant, yet. + +Another way would be to allow splitting out subdirs into their own repos. +This is already doable, would just need modifying the pre-install and +post-instlal stuff (ie, it needs to commit in the subdirs too). Using mr +would be a possibility.. |