I'm indifferent (I use log --graph so it's always clear enough to me). I can rebase in the future if you prefer.
On Sun, Aug 2, 2020 at 9:41 PM Martin Michlmayr <t...@cyrius.com> wrote: > * Daniele Nicolodi <dani...@grinta.net> [2020-08-02 16:16]: > > I don't have much experience with Github managed projects, but it seems > > that the default action to incorporate PRs into the master branch is to > > do merges. > > I really dislike that and always wonder why it's the default on GitHub. > > > I think the "Rebase and merge" is to be preferred, however, it is > > offered as the last option in the web interface. > > > > Looking around in the web interface, it seems that it is not > > possible to change the default method used > > I *believe* it remembers the type of the last merge you did and offers > that as the default. > -- > Martin Michlmayr > https://www.cyrius.com/ > > -- > You received this message because you are subscribed to the Google Groups > "Beancount" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to beancount+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/beancount/20200803014102.GD2881%40jirafa.cyrius.com > . > -- You received this message because you are subscribed to the Google Groups "Beancount" group. To unsubscribe from this group and stop receiving emails from it, send an email to beancount+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/beancount/CAK21%2BhOHeykhJkatuS_97-E_nJVB5rWH1Kn52%3DeJWB7AC6owog%40mail.gmail.com.
