[infinispan-dev] pushing directly upstream for trivial changes

[Sanne Grinovero]

Hello,
would we all agree that for some changes we can push directly to the
main master instead of going through the pull requests?

I would otherwise feel sorry to ask somebody to pull in requests such as

+
+   /**
+    * @return The value of indexName, same constant as provided to
the constructor.
+    */
+   public String getIndexName() {
+       return indexName;
+   }

Cheers,
Sanne