Previously Pat and us folks in Edinburgh discussed moving back to private development.
I have just set oh-distro to be read only. Please move your pull requests and branches to:
https://github.com/openhumanoids/oh-distro-private
The working assumption is to push master of private to public occasionally.
Previously Pat and us folks in Edinburgh discussed moving back to private development.
I have just set oh-distro to be read only. Please move your pull requests and branches to:
https://github.com/openhumanoids/oh-distro-private
The working assumption is to push master of private to public occasionally.