Sebastian Hädrich

@jakubroztocil I fixed the merge conflicts by changing the base branch to `gh-pages` since the directory was removed from master in f5f796cd2dee0d6c85e8b64c93545f71bcf3143b. This PR is therefore ready to be merged...

> I have run `composer run-script check --timeout=0` and no errors were reported I'm afraid, that list item is a little outdated since the version of php-cs-fixer is: > You...

Can somebody help with this?

[petervanderdoes/gitflow-avh](/petervanderdoes/gitflow-avh) got archived on Jun 19, 2023 without any explanation in the README.

> We create a new English branch, but lots of translating work need to do. > > https://github.com/XiaoMi/soar/blob/english/advisor/rules_english.go Shouldn't this preferrably be the default rules file (as it's done in...

Related to #1037

Pinging this

@davidgoli Jakub referred me to you. Can you merge this?

I'm beginning to wonder if there is an intersection between people who would want this to be merged and those who are able to at all …

Are you requesting filtering, sorting, or both? 🤔