On Sat, Oct 8, 2011 at 4:32 PM, Jiri Navratil <j...@navratil.cz> wrote:
> I used push and ticket is now on server. So my understanding is, that for > tickets, no commit is needed, just push. > Correct. The same for wiki changes made on your local repo. -- ----- stephan beal http://wanderinghorse.net/home/stephan/
_______________________________________________ fossil-users mailing list fossil-users@lists.fossil-scm.org http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users