* 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.
