[infinispan-dev] GitHub protected branches

Hi all, I have used GitHub's new(ish) feature to protect the following projects' branches from force pushes and removal: infinispan infinispan-management-console infinispan.github.io cpp-client dotnet-client infinispan-hadoop infinispan-spark infinispan-cachestore-redis Tristan -- Tristan Tarrant Infinispan Lead JBoss, a division of Red Hat