Please announce the re-tag in a separate thread. Everyone that pulled while the tag existed will have to delete it manually locally.
Regards, Niklas Am Do., 2. Aug. 2018 um 07:24 Uhr schrieb Anatol Belski <a...@php.net>: > > Hi, > > > -----Original Message----- > > From: Peter Kokot <peterko...@gmail.com> > > Sent: Thursday, August 2, 2018 6:56 AM > > To: php...@ehrhardt.nl > > Cc: Internals <internals@lists.php.net> > > Subject: Re: [PHP-DEV] Re: PHP 7.1.21 > > > > It seems to be resolved now and versions and tags done properly. > > > > Should in this case there be also a merge done from PHP-7.1 to all later > > branches? > > > Nope, it is only relevant for the release branch. But the wrong tag should be > deleted, actually. > > Btw. please check also > > http://git.php.net/?p=php-src.git;a=blob;f=README.MAILINGLIST_RULES;h=8fafbd717dfac6564a144f1b361be655a14694fb;hb=HEAD#l67 > > Regards > > Anatol -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
