added stuff to tell jenkins to rebuild after push