#PHP: Support Getters by charjr · Pull Re...
1 messages · Page 1 of 1 (latest)
@ripe torrent Do I need to rerun CI? I'm not sure I have permission to do that. (I can only rerun the github-specific parts)
I can take care of it, but I have the feeling something's wrong currently (not on your PR) as I can't have a green CI on some very small PR.
I'll check with the rest of the team to see what's going on, and once that's good I'll rerun the failing tasks and if everything's good I can merge it (or ping you when it's good so you can merge it if you have the rights)