[fossil-users] how to push ticket? (Re: fossil: out of memory)

I used push and ticket is now on server. So my understanding is, that for tickets, no commit is needed, just push. -- Jiri Navratil, http://www.navratil.cz, +420 777 224 245 8. 10. 2011 v 16:24, Jiri Navratil: I also created Ticket UUID: fd7ad198e58e6f63fabdb79c48d417ea925b7664 locally.

Re: [fossil-users] how to push ticket? (Re: fossil: out of memory)

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