On Mon, 7 Oct 2019 at 08:40, Mark Thomas <ma...@apache.org> wrote: > > On 05/10/2019 18:59, Gary Gregory wrote: > > On Sat, Oct 5, 2019 at 1:19 PM Phil Steitz <phil.ste...@gmail.com> wrote: > > > >> > >> On 10/5/19 5:47 AM, Gary Gregory wrote: > >>> On Sat, Oct 5, 2019 at 8:17 AM sebb <seb...@gmail.com> wrote: > >>> > >>>> On Sat, 5 Oct 2019 at 02:32, Gary Gregory <garydgreg...@gmail.com> > >> 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: dev-unsubscr...@commons.apache.org > For additional commands, e-mail: dev-h...@commons.apache.org > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org For additional commands, e-mail: dev-h...@commons.apache.org
