triggers_github and triggers_jenkins: new sketches to show deployment triggers