Re: [fossil-users] How to migrate a repository's wiki pages to another repo?

2016-04-25 Thread Marko Käning
Hi Ron, On 25 Apr 2016, at 09:08 , Ron W wrote: > Push will push all content changes, including public check-ins, and wiki, > ticket, and tech-note edits. yeah, but that will only push changes into a repo having a common ancestor, no? But what about if I want to put parts

Re: [fossil-users] How to migrate a repository's wiki pages to another repo?

2016-04-25 Thread Ron W
On Sun, Apr 24, 2016 at 12:33 PM, Marko Käning wrote: > Hi list, > > how can one migrate a repository's wiki pages to another repo? > Push will push all content changes, including public check-ins, and wiki, ticket, and tech-note edits. > One could imagine to have

[fossil-users] How to migrate a repository's wiki pages to another repo?

2016-04-24 Thread Marko Käning
Hi list, how can one migrate a repository's wiki pages to another repo? One could imagine to have some ex/import functionality for wiki pages... Greets, Marko ___ fossil-users mailing list fossil-users@lists.fossil-scm.org