eclipse-jdt / eclipse.jdt.ui

Eclipse Public License 2.0
37 stars 92 forks source link

Why allow merge commits in github settings and have a check to dissallow them in the PR? #1684

Closed carstenartur closed 1 month ago

iloveeclipse commented 1 month ago

The merge commits are disallowed in this repo settings. What's your clone repo settings do is up to you.

carstenartur commented 1 month ago

Whatever the real relation is between the settings of the cloned github repository and the clones setting: your claim seems to be definitly wrong.