| From: | Joe Conway <mail(at)joeconway(dot)com> |
|---|---|
| To: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> |
| Cc: | Magnus Hagander <magnus(at)hagander(dot)net>, Julien Rouhaud <rjuju123(at)gmail(dot)com>, PostgreSQL WWW <pgsql-www(at)lists(dot)postgresql(dot)org> |
| Subject: | Re: git mirror stuck? |
| Date: | 2021-03-20 16:25:11 |
| Message-ID: | b5c21b96-16e2-1a96-cf8e-3575672bfb73@joeconway.com |
| Views: | Whole Thread | Raw Message | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-www |
On 3/20/21 12:14 PM, Tom Lane wrote:
> Joe Conway <mail(at)joeconway(dot)com> writes:
>> On 3/20/21 11:03 AM, Tom Lane wrote:
>>> It's five hours later and still no git mirror update.
>
>> Stephen and I looked at it and think the next commit would have sync'd up your
>> change. But Stephen went ahead and forced it to sync.
>
> Yeah, I suspected the same. Thanks!
FWIW I also created a "Standard Operating Procedure" on the pginfra trac, so
next time it will be easier to resolve hopefully :-)
https://pmt.postgresql.org/trac/wiki/CheckGitInSync
Joe
--
Crunchy Data - http://crunchydata.com
PostgreSQL Support for Secure Enterprises
Consulting, Training, & Open Source Development
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Joe Conway | 2021-03-20 16:28:28 | Re: git mirror stuck? |
| Previous Message | Tom Lane | 2021-03-20 16:14:20 | Re: git mirror stuck? |