trigger: fetch and use origin/master instead of using master.

This way, the server doesn’t need to update its local checkout
as long as the trigger script itself doesn’t change.
Report failing repostiories at the end.