On Mon, 7 Oct 2019 at 08:40, Mark Thomas <[email protected]> wrote: > > On 05/10/2019 18:59, Gary Gregory wrote: > > On Sat, Oct 5, 2019 at 1:19 PM Phil Steitz <[email protected]> wrote: > > > >> > >> On 10/5/19 5:47 AM, Gary Gregory wrote: > >>> On Sat, Oct 5, 2019 at 8:17 AM sebb <[email protected]> wrote: > >>> > >>>> On Sat, 5 Oct 2019 at 02:32, Gary Gregory <[email protected]> > >> wrote: > >>>>> Hi Phil and all: > >>>>> > >>>>> It looks like you merged from the "old" git repo > >>>>> https://git-wip-us.apache.org/repos/asf/commons-pool > >>>>> > >>>>> I am not sure why we have two named repos but I am basing my work on > >>>> GitBox > >>>>> https://gitbox.apache.org/repos/asf/commons-pool.git > >>>>> > >>>>> I think these are in fact the same (?) > > They are now (after a server failure a little while ago). They point to > the same box. gitbox.a.o is the new name, git-wip-us.a.o is the old name.
FTR: I thought git-wip-us was redirected to gitbox once all the git-wip repos had been migrated? i.e. before the recent git.a.o failure (I thought that was only used for GitHub RO mirrors?) > Even if they weren't the same box, if the hash of the tag matches then > that should provide sufficient reassurance that the tags are identical. If not, then there are bigger problems... > Mark > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
