Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Disable merge commits for jdt-incubator (#3)
* Disable merge commits for jdt-incubator Merge commit would make further attempt to merge it in upstream JDT harder. Let's disable those. Signed-off-by: Mickael Istria <[email protected]> * Fix disable merge commits + enable PR updates PR updates make rebase/review easier without necessarily involving the submitter for a rebase. Signed-off-by: Mickael Istria <[email protected]> --------- Signed-off-by: Mickael Istria <[email protected]>
- Loading branch information