[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bignum branch
From: |
Eli Zaretskii |
Subject: |
Re: bignum branch |
Date: |
Thu, 09 Aug 2018 21:28:51 +0300 |
> From: Tom Tromey <address@hidden>
> Cc: Tom Tromey <address@hidden>, address@hidden, address@hidden
> Date: Thu, 09 Aug 2018 10:34:59 -0600
>
> Eli> If you are wondering because you are not sure what are our policy,
> Eli> then you should know we don't have one. Some people merge, others
> Eli> rebase, still others do a mix. So it's up to you, I think.
>
> Ok, thanks.
>
> Any preferences about keeping the feature branch? Should I remove it
> once everything is in?
I think feature branches are removed once the feature lands on master,
yes.
> I am somewhat inclined to pursue the approach I mentioned earlier: make
> a new branch, run the renaming commands there, then cherry-pick the rest
> of the bignum changes on top. Then, the final branch could be merged to
> master. This would avoid a messy merge from trunk to the branch and
> then back.
That'd be fine.
> I could either push a new branch or push -f to the existing branch if
> someone wants to do a final review.
I think pushing a new branch is slightly better.
- Re: bignum branch, (continued)
- Re: bignum branch, Andy Moreton, 2018/08/08
- Re: bignum branch, Andy Moreton, 2018/08/08
- Re: bignum branch, Tom Tromey, 2018/08/08
- Re: bignum branch, Eli Zaretskii, 2018/08/08
- Re: bignum branch, Michael Albinus, 2018/08/09
- Re: bignum branch, Eli Zaretskii, 2018/08/09
- Re: bignum branch, Paul Eggert, 2018/08/09
- Re: bignum branch, Eli Zaretskii, 2018/08/09
- Re: bignum branch, Stefan Monnier, 2018/08/09
- Re: bignum branch, Tom Tromey, 2018/08/09
- Re: bignum branch,
Eli Zaretskii <=
- Re: bignum branch, Tom Tromey, 2018/08/09
- Re: bignum branch, Tom Tromey, 2018/08/08
- Re: bignum branch, Andy Moreton, 2018/08/08
- Re: bignum branch, Tom Tromey, 2018/08/08
- Re: bignum branch, Andy Moreton, 2018/08/09
- Re: bignum branch, Andy Moreton, 2018/08/09
- Re: bignum branch, Eli Zaretskii, 2018/08/10
- Re: bignum branch, Andy Moreton, 2018/08/10
- Re: bignum branch, Paul Eggert, 2018/08/10
- Re: bignum branch, Eli Zaretskii, 2018/08/10