From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <55910833.7050902@xenomai.org>
Date: Mon, 29 Jun 2015 10:56:19 +0200
From: Philippe Gerum <rpm@xenomai.org>
MIME-Version: 1.0
References: <558993D6.8080108@xenomai.org> <558BDB3E.4060405@grinta.net>
 <558BDED2.20300@xenomai.org> <55910060.1090605@grinta.net>
In-Reply-To: <55910060.1090605@grinta.net>
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Subject: Re: [Xenomai] [RELEASE] Xenomai 3.0-rc5
List-Id: Discussions about the Xenomai project <xenomai.xenomai.org>
List-Unsubscribe: <http://xenomai.org/mailman/options/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=unsubscribe>
List-Archive: <http://xenomai.org/pipermail/xenomai/>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-request@xenomai.org?subject=help>
List-Subscribe: <http://xenomai.org/mailman/listinfo/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=subscribe>
To: Daniele Nicolodi <daniele@grinta.net>, xenomai@xenomai.org

On 06/29/2015 10:22 AM, Daniele Nicolodi wrote:
> On 25/06/15 12:58, Philippe Gerum wrote:
>> On 06/25/2015 12:43 PM, Daniele Nicolodi wrote:
>>> On 23/06/15 19:13, Philippe Gerum wrote:
>>>>
>>>> Unlike originally planned, this is -rc5. We merged way too many changes
>>>> and important fixes since -rc4 for going final directly.
>>>
>>> Hello Philippe,
>>>
>>> it seems that the release has not be tagged in the git repository. Is
>>> this an oversight or am I missing something?
>>>
>>
>> I did not push the tags. My bad. Should be ok now.
>>
>> Thanks for the heads up.
> 
> Hello Philippe,
> 
> sorry for bothering you again, but it looks like the tag has been
> applied to the "next" branch and not on the "master" branch, or at least
> the changesets for rc5 have not been pushed to the master branch.
> 
> Is this intended?
> 

Nope. master is resynced now.

-- 
Philippe.