[OpenWrt-Devel] Merge Pull Request in GitHub

[Adrian Schmutzler]

Hi,

GitHub features the "Merge Pull Request" button, which will add a Pull Request to master with Merge commit.
OpenWrt master does not seem to use Merge commits (which I'm glad about).

I'd like to disable this option in the projects GitHub options, so if someone clicks on that button (by accident), he will do a Rebase commit that does not spoil previous common use (even if reverted).

In case that a merge via GitHub won't be accepted at all (as it's just a mirror), I'd like to disable the merge button at all by the same set of options.

Opinions?

Best

Adrian
-------------- next part --------------
A non-text attachment was scrubbed...
Name: openpgp-digital-signature.asc
Type: application/pgp-signature
Size: 834 bytes
Desc: not available
URL: <http://lists.infradead.org/pipermail/openwrt-devel/attachments/20191031/8b053d15/attachment.sig>
-------------- next part --------------
_______________________________________________
openwrt-devel mailing list
openwrt-devel at lists.openwrt.org
https://lists.openwrt.org/mailman/listinfo/openwrt-devel