On 02/17/2013 03:57 PM, Stefano Lattarini wrote: > On 02/13/2013 07:39 PM, Stefano Lattarini wrote: >> >> Reference: >> <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13578> >> >> OK, so far I've seen only positive feedback about this proposal. There >> are still some unresolved issues about how to handle beta releases; but >> the related proposals can be seen as a refinement of my scheme, not as >> something incompatible or in competition with it. So I see no reason >> to hold back the implementation of my proposal on their account: we can >> implement those refinements later, once some consensus is reached and >> the details are worked out. >> >> So, if I see no further objections, I'm going ahead with my proposal in >> a few days. >> > Not yet; we first need a preparatory patch adjusting NEWS and HACKING (as > well as few miscellaneous comments in tests and scripts). Then we can > finally proceed with the re-shuffling of the Git repository -- which I > guess will also have to be announced in autotools-announce at least, as > well as reported as a news on Savannah. > > So here is my attempt; OK to push to branch-1.13.2? I will proceed in a > couple of days if there is no objection. > Pushed now.
Regards, Stefano