Re: [Boost-mpi] [EXTERNAL] master vs develop

Subject: Re: [Boost-mpi] [EXTERNAL] master vs develop
From: Alain Miniussi (alain.miniussi_at_[hidden])
Date: 2014-11-20 05:10:26

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