I tried to pull that branch, however it is empty: "This branch has not
been pushed to yet."
Could you check you've pushed it?
Cheers
Joel Pitt, PhD | http://ferrouswheel.me
OpenCog Developer | http://opencog.org
Board member, Humanity+ | http://humanityplus.org
+64 21 101 7308
> --
> You received this message because you are subscribed to the Google Groups
> "OpenCog Developers" group.
> To post to this group, send email to opencog-d...@googlegroups.com.
> To unsubscribe from this group, send email to
> opencog-develop...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/opencog-developers?hl=en.
>