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

Поиск
Список
Период
Сортировка
От Andrew Dunstan
Тема Re: [pgsql-www] Failed to make v10 branch: gitmaster push hook needs adjustment
Дата
Msg-id CAD5tBcK6oNrmqtW2kXLvc3fXaCPkKs=htTwhvVKFQ8-Jf6j8vg@mail.gmail.com
обсуждение исходный текст
Ответ на Re: [pgsql-www] Failed to make v10 branch: gitmaster push hook needs adjustment  (Andrew Dunstan <andrew@dunslane.net>)
Ответы Re: [pgsql-www] Failed to make v10 branch: gitmaster push hook needs adjustment  (Tom Lane <tgl@sss.pgh.pa.us>)
Список pgsql-www
Дерево обсуждения


On Sun, Aug 20, 2017 at 11:36 AM, Andrew Dunstan <andrew@dunslane.net> wrote:


> On Aug 20, 2017, at 10:42 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
> 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?
>
>

Oops. On the road right now. Will check in a few hours



Should be fixed now.

cheers

andrew

В списке pgsql-www по дате отправления:

Предыдущее
От: Andrew Dunstan
Дата:
Сообщение: Re: [pgsql-www] Failed to make v10 branch: gitmaster push hook needs adjustment
Следующее
От: Tom Lane
Дата:
Сообщение: Re: [pgsql-www] Failed to make v10 branch: gitmaster push hook needs adjustment