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. 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. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org For additional commands, e-mail: dev-h...@commons.apache.org
