On Mon, Aug 03, 2020 at 09:41:03AM +0800, Martin Michlmayr wrote: > > 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.
That's also my (unscientific) feeling based on personal experience. There seems to also exists a per-repo setting about what is *allowed*, (not the default): https://docs.github.com/en/github/administering-a-repository/configuring-commit-rebasing-for-pull-requests So if we end up choosing one method, we can disable the others. Cheers -- Stefano Zacchiroli . z...@upsilon.cc . upsilon.cc/zack . . o . . . o . o Computer Science Professor . CTO Software Heritage . . . . . o . . . o o Former Debian Project Leader & OSI Board Director . . . o o o . . . o . « the first rule of tautology club is the first rule of tautology club » -- 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/20200803091122.fujj4hryf2r3x6hx%40upsilon.cc.
