Hi guys,
since Vladimir and myself are starting work on the server management
console task (ISPN-4800), I have created the feature branch to which
pull requests will be issued directly on the Infinispan GitHub repository.
https://github.com/infinispan/infinispan/tree/ISPN-4800/management_ui
So when you see that branch appear when you pull from "origin", know
that it wasn't pushed there by mistake :)
Tristan