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.
Boost-Commit list run by troyer at boostpro.com