Ah of course! In fact I even have one personal project with collaborators, and indeed I've set it to deploy on push using GitHub actions, and indeed there's no

Ah of course! In fact I even have one personal project with collaborators, and indeed I've set it to deploy on push using GitHub actions, and indeed there's no feedback. Pushing straight to the prod server is nicer UX, but I guess that only works reasonably well with one person, or a very tiny team.