So, another question: Is there an easy way to keep track of the "pending" pull (or the merged ones). I mean requests that have merged onto develop but not yet integrated to master. If I look at https://github.com/boostorg/mpi/compare/master...develop, can I expect to see the pull disappear from the commit list since they won't longer match a diff between the two branches ?
Also, what is the rule for the documentation (I guess documentation does/can not have regression tests ?)
I understand this is not an MPI specific question though. Alain _______________________________________________ Boost-mpi mailing list Boost-mpi@lists.boost.org http://lists.boost.org/mailman/listinfo.cgi/boost-mpi
