I have done a couple of administrative things on the Git repos I wanted
to let you know.

You will need to adjust your Git repo clones. I am sorry for that
inconvenience, but better do it now, once for all ..

\Tobias

I have moved/renamed/splitoff the Git repos to our company GitHub
account:

https://github.com/oberstet/Autobahn =>
https://github.com/tavendo/AutobahnPython

https://github.com/oberstet/AutobahnAndroid =>
https://github.com/tavendo/AutobahnAndroid

JS code from old Autobahn repo =>
https://github.com/tavendo/AutobahnJS

The naming scheme:

Autobahn<Python, JS, Android, ..>

=> full featured WebSockets  + RPC/PubSub (WAMP)

AutobahnPush<Python, ...>

=> simple HTTP/REST push clients connecting to our upcoming
Autobahn.ws virtual appliance product. Allows to push out
to any WAMP clients.

How to change your Git stuff.

2 options:

a) Easy: Drop your clone, reclone from new repo location. Done.

git clone git://github.com/tavendo/AutobahnPython.git
git clone git://github.com/tavendo/AutobahnAndroid.git

b) Quite easy: change remote defs.

I.e. if you have setup your own repo to have "upstream" pointing to
Autobahn, then to adjust your Git remote's

git remote set-url upstream git://github.com/tavendo/AutobahnPython.git

git remote set-url upstream git://github.com/tavendo/AutobahnAndroid.git