[rtems commit] Merge branch 'master' of ssh://dispatch.rtems.org/data/git/ rtems
gedare at rtems.org
Mon Jan 25 02:21:19 UTC 2016
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.
> devel mailing list
> devel at rtems.org
More information about the devel