Steps towards even more PR automation

A big related update:

4 Likes