Re: Heads Up: cirrus-ci is shutting down June 1st

Поиск
Список
Период
Сортировка
Искать
От
Jelte Fennema-Nio
Тема
Re: Heads Up: cirrus-ci is shutting down June 1st
Дата
в 22:06:39
Msg-id
CAGECzQRKcLLzmK6PSHxXm8qfD7c6HsYVmtT7qLW2ve2=YR+WEQ@mail.gmail.com
Ответ на
Список
Дерево обсуждения
Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Peter Eisentraut <peter@eisentraut.org>
Re: Heads Up: cirrus-ci is shutting down June 1st Thomas Munro <thomas.munro@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st David Steele <david@pgbackrest.org>
Re: Heads Up: cirrus-ci is shutting down June 1st Thomas Munro <thomas.munro@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Robert Haas <robertmhaas@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Michael Paquier <michael@paquier.xyz>
Re: Heads Up: cirrus-ci is shutting down June 1st Tom Lane <tgl@sss.pgh.pa.us>
Re: Heads Up: cirrus-ci is shutting down June 1st "Euler Taveira" <euler@eulerto.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Jelte Fennema-Nio <postgres@jeltef.nl>
Re: Heads Up: cirrus-ci is shutting down June 1st Bruce Momjian <bruce@momjian.us>
Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Alexander Korotkov <aekorotkov@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Alexander Korotkov <aekorotkov@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st "Jelte Fennema-Nio" <postgres@jeltef.nl>
Re: Heads Up: cirrus-ci is shutting down June 1st Thomas Munro <thomas.munro@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Thomas Munro <thomas.munro@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Peter Eisentraut <peter@eisentraut.org>
Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Peter Eisentraut <peter@eisentraut.org>
Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Jelte Fennema-Nio <postgres@jeltef.nl>
Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Álvaro Herrera <alvherre@kurilemu.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Álvaro Herrera <alvherre@kurilemu.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Jacob Champion <jacob.champion@enterprisedb.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Peter Eisentraut <peter@eisentraut.org>
Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Peter Eisentraut <peter@eisentraut.org>
Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Daniel Gustafsson <daniel@yesql.se>
Re: Heads Up: cirrus-ci is shutting down June 1st Jelte Fennema-Nio <postgres@jeltef.nl>
Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Jacob Champion <jacob.champion@enterprisedb.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Jakub Wartak <jakub.wartak@enterprisedb.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Jacob Champion <jacob.champion@enterprisedb.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Jelte Fennema-Nio <postgres@jeltef.nl>
Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Jacob Champion <jacob.champion@enterprisedb.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Jacob Champion <jacob.champion@enterprisedb.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Jacob Champion <jacob.champion@enterprisedb.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de>
Re: Heads Up: cirrus-ci is shutting down June 1st Jacob Champion <jacob.champion@enterprisedb.com>
Re: Heads Up: cirrus-ci is shutting down June 1st Heikki Linnakangas <hlinnaka@iki.fi>
Re: Heads Up: cirrus-ci is shutting down June 1st "David E. Wheeler" <david@justatheory.com>


On Tue, Jun 2, 2026, 20:43 Andres Freund <andres@anarazel.de> wrote:
From what I can tell the workflow of plenty folks during their own development
is to open PRs in their own repo.  I don't really see a downside to also
running on PRs, so I'm inclined to do so. Won't hurt us...

Generally you should do one or the other. Otherwise all jobs will be run twice when you push to a branch that is linked to a PR. So I'd say, only do push
В списке pgsql-hackers по дате отправления
От: Andrew Dunstan
Дата:
От: Daniel Gustafsson
Дата:
FAQ