menu
Channels
Team
Posts
Members
Info

Preferred PR merge behaviour

I was about to merge this: https://github.com/micromark/micromark/pull/3 and here I'd usually `rebase and merge` but I noticed this choice is not enabled for this repo. Is it a default setting or does anyone have a strong opinion as to how PRs should be merged in this…

thumbsup
1
message-simple
2