[rtems commit] Merge branch 'master' of ssh://dispatch.rtems.org/data/git/ rtems

[Gedare Bloom]

yes, the pull creates the merge message if it is not ffwd.

On Sun, Jan 24, 2016 at 4:55 PM, Chris Johns <chrisj at rtems.org> wrote:
> On 25/01/2016 08:51, Joel Sherrill wrote:
>>
>>
>>     Joel, I think git log should contain the message so it might pay to
>>     check what you have before you push.
>>
>>
>> I am not sure what would be in the log in this situation that I would be
>> looking for.
>>
>
> The merge message? I did not think a push merged anything so it must be
> present before you push.
>
>
> Chris
> _______________________________________________
> devel mailing list
> devel at rtems.org
> http://lists.rtems.org/mailman/listinfo/devel