I'd like to adjust our defaults for GitHub merging settings: Right now, we allow all three modes for PR merges. * Merge commits * Squash merging * Rebase merging
Proposal: Remove rebase merging (aka fast-forward merges) so that we stick to merge/squash and merge. [image: image.png] -- You received this message because you are subscribed to the Google Groups "Prometheus Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/prometheus-developers/CABbyFmp0X26pjfvyATvaUxH9p_nwBh0QSMgtJGNzfDLnZJjdMQ%40mail.gmail.com.
