#!/bin/tcsh

echo "New commit triggers PULPino CI"