[infinispan-dev] Feature branches on Infinispan GitHub repo

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