PullRequest Spam?

[pstorch]

What is happening here? Lot's of PRs with many commits and resulting in merge conflicts.

[dennisguse]

I honestly don't know.
Should we disable pull requests for now?

[dennisguse]

@pstorch could you activate this for one month?

https://docs.github.com/en/communities/moderating-comments-and-conversations/limiting-interactions-in-your-repository

[pstorch]

Done

[dennisguse]

Awesome!
Finally some silence in my mail account.
Thanks

Let's see what happens now.

[rgmf]

Great! It's been funny days 🤣

[dennisguse]

I just removed the interaction limitation on the repo - let‘s see how it goes the next days…