Skip to content

Conversation

@TWiStErRob
Copy link
Contributor

@TWiStErRob TWiStErRob commented Dec 2, 2023

Is this line still relevant? When this line was added the project was using normal merges for PRs, now that they're being squashed to main, is there a reason to keep this line? (I was spending time making the commits really nice because I thought they'll be normal merged.)


Also, I recommend changing to this setting (regardless of this PR getting merged or not):
image
because the others bring in noise to the commits message and the default has inconsistent behavior between 1 commit and many commits. It might be set already.

@TimvdLippe
Copy link
Contributor

Indeed irrelevant, let's remove it

@TimvdLippe TimvdLippe merged commit 306dd3f into mockito:main Dec 3, 2023
@TWiStErRob TWiStErRob deleted the patch-1 branch December 3, 2023 09:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants