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

2014-11-20 Thread Alain Miniussi
Hi Matthias, Noel did reply to all my questions so far. Since I'm pretty new to the boost release process, git and bjam, I'm sure I'll have more questions pretty soon. Thanks Alain On 19/11/2014 18:54, Matthias Troyer wrote: Hi Alain, Sorry for the late reply, I've been traveling to Franc

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

2014-11-20 Thread Alain Miniussi
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 fro