Re: [OpenWrt-Devel] Merge Pull Request in GitHub

2019-10-31 Thread Adrian Schmutzler
> Indeed, GitHub is just a mirror, so it won't work and disabling it makes > sense. "You must select at least one option." So, I left "Allow rebase merging". openpgp-digital-signature.asc Description: PGP signature ___ openwrt-devel mailing list

Re: [OpenWrt-Devel] Merge Pull Request in GitHub

2019-10-31 Thread Petr Štetiar
Adrian Schmutzler [2019-10-31 13:54:26]: Hi, welcome to the team! :-) > does not seem to use Merge commits (which I'm glad about). Same here. > 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 >

[OpenWrt-Devel] Merge Pull Request in GitHub

2019-10-31 Thread 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