Re: [pgsql-www] Failed to make v10 branch: gitmaster push hook needs adjustment - Mailing list pgsql-www

From Tom Lane
Subject Re: [pgsql-www] Failed to make v10 branch: gitmaster push hook needs adjustment
Date
Msg-id 61373.1503240133@sss.pgh.pa.us
Whole thread Raw
In response to Re: [pgsql-www] Failed to make v10 branch: gitmaster push hook needsadjustment  (Andrew Dunstan <andrew@dunslane.net>)
Responses Re: [pgsql-www] Failed to make v10 branch: gitmaster push hook needs adjustment  (Andrew Dunstan <andrew@dunslane.net>)
List pgsql-www
Andrew Dunstan <andrew@dunslane.net> writes:
> I think I have them all fixed now. See
> <https://github.com/PGBuildFarm/server-code/commit/fb3222f3625c9489ac76d7dae42eacb95a424c2e>

Thanks, but there's something weird about the "failures" page.
The filter menu for "Branch(es)" is only showing All and HEAD.
I'm seeing a stray ">" rendered next to it, too, which might
be related?
        regards, tom lane



pgsql-www by date:

Previous
From: Andrew Dunstan
Date:
Subject: Re: [pgsql-www] Failed to make v10 branch: gitmaster push hook needsadjustment
Next
From: Andrew Dunstan
Date:
Subject: Re: [pgsql-www] Failed to make v10 branch: gitmaster push hook needs adjustment