[infinispan-dev] pushing directly upstream for trivial changes

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