-
Yuanle Song authored
previously it was trying to call jenkins api, which I haven't used for years. replaced it with an empty shell script with some comments.
9d818673
previously it was trying to call jenkins api, which I haven't used for years. replaced it with an empty shell script with some comments.