At Fri, 23 Oct 2020 10:01:14 +0800, Andy Fan wrote
in
> On Fri, Oct 23, 2020 at 9:58 AM Thomas Munro wrote:
>
> > > Try this:
> > >
> > > git remote add cfbot https://github.com/postgresql-cfbot/postgresql.git
> > > git fetch cfbot commitfest/30/2785
> > > git checkout commitfest/30/2785
> >
>
On Fri, Oct 23, 2020 at 11:05:34AM +0900, Michael Paquier wrote:
> It seems to me that this problem is not completely related to the CF
> bot, no? Automated testing and fetching from a mirror repository
> that's automated to fetch patches from the mailing list and apply them
> on some custom branc
On Fri, Oct 23, 2020 at 09:31:57AM +0800, Andy Fan wrote:
> Currently when people want to review a patch, they have to download / apply
> / maintain the branch manually. Would it be helpful that the reviewer can
> just git fetch a remote branch where all the things have been done already. I
> know
On Fri, Oct 23, 2020 at 9:58 AM Thomas Munro wrote:
> On Fri, Oct 23, 2020 at 2:51 PM Thomas Munro
> wrote:
> > On Fri, Oct 23, 2020 at 2:32 PM Andy Fan
> wrote:
> > > Currently when people want to review a patch, they have to download /
> apply /
> > > maintain the branch manually. Would it b
On Fri, Oct 23, 2020 at 2:51 PM Thomas Munro wrote:
> On Fri, Oct 23, 2020 at 2:32 PM Andy Fan wrote:
> > Currently when people want to review a patch, they have to download / apply
> > /
> > maintain the branch manually. Would it be helpful that the reviewer can
> > just
> > git fetch a remot
On Fri, Oct 23, 2020 at 2:32 PM Andy Fan wrote:
> Currently when people want to review a patch, they have to download / apply /
> maintain the branch manually. Would it be helpful that the reviewer can just
> git fetch a remote branch where all the things have been done already. I know
> that suc
Currently when people want to review a patch, they have to download / apply
/
maintain the branch manually. Would it be helpful that the reviewer can
just
git fetch a remote branch where all the things have been done already. I
know
that such cost saving is small, but it is a startup cost, so pers