Hi Ron,
On 25 Apr 2016, at 09:08 , Ron W <ronw.m...@gmail.com> 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 of a wiki into a completely different
repo?
There I need an export.
> However, the wiki command allows creating, changing and "exporting" wiki
> pages from the command line.
OK, seeing that now. Well, it doesn’t allow for automatic ex/importing all
pages, but that could be done with a little bash scripting.
Thanks for the hint!
Greets,
Marko
_______________________________________________
fossil-users mailing list
fossil-users@lists.fossil-scm.org
http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
