Ah - mea culpa - I misread gitk, and the pull had not magically worked.
--
You received this message because you are subscribed to the Google Groups
"Project Hosting on Google Code" group.
To view this discussion on the web visit
https://groups.google.com/d/msg/google-code-hosting/-/BLvdbFDAfsAJ.
To post to this group, send email to google-code-hosting@googlegroups.com.
To unsubscribe from this group, send email to
google-code-hosting+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/google-code-hosting?hl=en.