Hi all,

I have created a PR [1] which contains a TODO list for our 
documentation. This makes the review process public and uses the 
familiar GitHub tooling.

I would like everybody to dedicate some time before the end of this week 
in looking at the items and making proposals to improve the docs.

On Friday I will merge the TODO list to master.

Starting on Monday we will dedicate 3 days on doing as much as possible 
to reduce that list to zero. Documentation PRs will need to remove the 
corresponding lines from the TODO list.

Thanks

Tristan


[1] https://github.com/infinispan/infinispan/pull/4572
-- 
Tristan Tarrant
Infinispan Lead
JBoss, a division of Red Hat
_______________________________________________
infinispan-dev mailing list
infinispan-dev@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/infinispan-dev

Reply via email to