Post #390507

Today is a big day and a big step for PHPStan: for the first time ever, I’m not the only person with merge rights on the repository. Two of the most active contributors, @markusstaab and @misterdeviling can also merge PRs!